class ADSL::Verification::Invariant

Attributes

description[RW]
formula[RW]

Public Class Methods

new(options = {}) click to toggle source
# 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

Public Instance Methods

adsl_ast() click to toggle source
# 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