Module: TlaParserS

Defined in:
lib/utils/logger.rb,
lib/cli/cli.rb,
lib/parser/lvalue.rb,
lib/parser/parser.rb,
lib/utils/version.rb,
lib/parser/exception.rb,
lib/semantics/context.rb,
lib/semantics/resolver.rb,
lib/semantics/exception.rb,
lib/semantics/symbol_table.rb

Overview

Defined Under Namespace

Modules: LValue, Utils Classes: Cli, Context, ContextException, ParseException, Parser, Resolver, ResolverException, SymbolTable, SymbolTableException

Class Method Summary collapse

Class Method Details

.model_versionObject



8
9
10
11
# File 'lib/utils/version.rb', line 8

def self.model_version
  return File.readlines( "VERSION" ).first.gsub( /\n/, "" ) if File.exist?( "VERSION" )
  return "Model version file #{Dir.pwd}/VERSION not found"
end

.versionObject



4
5
6
# File 'lib/utils/version.rb', line 4

def self.version
  File.readlines( File.join File.dirname( __FILE__ ), "../../VERSION" ).first.gsub( /\n/, "" )
end