jif.ast
Interface CanonicalConstraintNode

All Superinterfaces:
java.lang.Cloneable, ConstraintNode, polyglot.util.Copy, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps
All Known Implementing Classes:
CanonicalConstraintNode_c

public interface CanonicalConstraintNode
extends ConstraintNode

A canonical(non-ambiguous) constraint node.


Method Summary
 Assertion constraint()
          Gets the constraint.
 
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, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

constraint

Assertion constraint()
Gets the constraint.