class ADSL::Parser::ASTInvariant
Public Instance Methods
to_adsl()
click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1189 def to_adsl n = (@name.nil? || @name.text.nil?) ? "" : "#{ @name.text.gsub(/\s/, '_') }: " "invariant #{n}#{ @formula.to_adsl }\n" end
typecheck_and_resolve(context)
click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1183 def typecheck_and_resolve(context) formula = @formula.typecheck_and_resolve context name = @name.nil? ? nil : @name.text return ADSL::DS::DSInvariant.new :name => name, :formula => formula end