class Bpl::AST::QuantifiedExpression
Public Instance Methods
declarations()
click to toggle source
# File lib/bpl/ast/expression.rb, line 176 def declarations; @variables end
eql?(qe)
click to toggle source
# File lib/bpl/ast/expression.rb, line 179 def eql?(qe) qe.is_a?(QuantifiedExpression) && qe.quantifier == @quantifier && qe.type_arguments.eql?(@type_arguments) && qe.variables.eql?(@variables) && qe.expression.eql?(@expression) && qe.triggers.eql?(@triggers) end
show() { |a| ... }
click to toggle source
# File lib/bpl/ast/expression.rb, line 187 def show(&block) if @type_arguments.empty? tvs = "" else tvs = "<#{@type_arguments.map{|a| yield a} * ", "}>" end vs = @variables.map{|a| yield a} * ", " as = show_attrs(&block) ts = @triggers.map{|t| yield t} * " " "(#{@quantifier} #{tvs} #{vs} :: #{as} #{ts} #{yield @expression})".fmt end
type()
click to toggle source
# File lib/bpl/ast/expression.rb, line 198 def type; Type::Boolean end