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