jif.ast

Interface CanonicalConstraintNode

All Superinterfaces:

java.lang.Cloneable, ConstraintNode<Assertion>, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable

All Known Implementing Classes:

CanonicalConstraintNode_c

public interface CanonicalConstraintNode
extends ConstraintNode<Assertion>

A canonical(non-ambiguous) constraint node.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Method Summary

Modifier and Type	Method and Description
Assertion	constraint() Gets the constraint.

Methods inherited from interface jif.ast.ConstraintNode

constraints, constraints

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

constraint

Assertion constraint()

Gets the constraint.