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