Class: ADSL::Verification::Invariant

Inherits:
Object
  • Object
show all
Defined in:
lib/adsl/verification/invariant.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(options = {}) ⇒ Invariant

Returns a new instance of Invariant.



8
9
10
11
12
 
# File 'lib/adsl/verification/invariant.rb', line 8

def initialize(options = {})
  @description = options[:description]
  @formula = options[:formula]
  @formula = @formula.adsl_ast if @formula.respond_to?(:adsl_ast)
end

Instance Attribute Details

#description ⇒ Object

Returns the value of attribute description.



6
7
8
 
# File 'lib/adsl/verification/invariant.rb', line 6

def description
  @description
end

#formula ⇒ Object

Returns the value of attribute formula.



6
7
8
 
# File 'lib/adsl/verification/invariant.rb', line 6

def formula
  @formula
end

Instance Method Details

#adsl_ast ⇒ Object 



14
15
16
 
# File 'lib/adsl/verification/invariant.rb', line 14

def adsl_ast
  ADSL::Parser::ASTInvariant.new :name => ADSL::Parser::ASTIdent.new(:text => @description), :formula => @formula
end