jif.ast
Class CanonicalConstraintNode_c

java.lang.Object
  polyglot.ast.Node_c
      jif.ast.ConstraintNode_c
          jif.ast.CanonicalConstraintNode_c

All Implemented Interfaces:

java.lang.Cloneable, CanonicalConstraintNode, ConstraintNode, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.util.Copy

public class CanonicalConstraintNode_c
extends ConstraintNode_c
implements CanonicalConstraintNode

An implementation of the CanonicalConstraint.

Field Summary

Fields inherited from class jif.ast.ConstraintNode_c

constraints

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Constructor Summary

CanonicalConstraintNode_c(polyglot.util.Position pos, Assertion constraint)

Method Summary

Assertion	constraint() Gets the constraint.
void	prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
void	translate(polyglot.util.CodeWriter w, polyglot.visit.Translator tr)

Methods inherited from class jif.ast.ConstraintNode_c

constraint, constraints, constraints, exceptionCheckEnter, isDisambiguated, setConstraint, toString

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, enterChildScope, enterScope, error, error, exceptionCheck, ext, ext, ext, ext, init, isTypeChecked, node, position, position, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface jif.ast.ConstraintNode

constraints, constraints

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

CanonicalConstraintNode_c

public CanonicalConstraintNode_c(polyglot.util.Position pos,
                                 Assertion constraint)

Method Detail

constraint

public Assertion constraint()

Description copied from interface: CanonicalConstraintNode

Gets the constraint.

Specified by:

constraint in interface CanonicalConstraintNode

Overrides:

constraint in class ConstraintNode_c

prettyPrint

public void prettyPrint(polyglot.util.CodeWriter w,
                        polyglot.visit.PrettyPrinter tr)

Specified by:

prettyPrint in interface polyglot.ast.NodeOps

Overrides:

prettyPrint in class polyglot.ast.Node_c

translate

public void translate(polyglot.util.CodeWriter w,
                      polyglot.visit.Translator tr)

Specified by:

translate in interface polyglot.ast.NodeOps

Overrides:

translate in class polyglot.ast.Node_c