public final class Breaks extends ASTVisitorBase
Modifier and Type | Class and Description |
---|---|
static class |
Breaks.Info
The information compute for a syntax tree.
|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
public static Breaks.Info compute(Formula formula, boolean mathml)
formula
- a formula.mathml
- true iff the mathml representation is considered.public static Breaks.Info compute(Term term, boolean mathml)
term
- a term.mathml
- true iff the mathml representation is considered.public static int length(Breaks.Info[] infos)
infos
- the info objects.public void visit(Identifier exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Name exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ApplicationExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(BinaryExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(UnaryExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(QuantifiedExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ArrayType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(AtomicType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Constant exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(FunctionType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(IfThenElseExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(LetExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(PostfixApplication exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StateThrowsException exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ProgramVariableBase exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(WritesOnlyFormula exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(RecordTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(RecordType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Reference exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectionTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorIdentifier exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorIndex exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorNumber exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StateType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SubrangeType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SubType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TupleTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TupleType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TypedIdentifier exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(UpdateTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ValueDeclarationInitialized exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ValueDefinitionClass exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ValuedIdentifier exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase