jif.ast
Interface ConstraintNode

All Superinterfaces:

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

All Known Subinterfaces:

ActsForConstraintNode, AuthConstraintNode, CallerConstraintNode, CanonicalConstraintNode, LabelLeAssertionNode

All Known Implementing Classes:

ActsForConstraintNode_c, AuthConstraintNode_c, CallerConstraintNode_c, CanonicalConstraintNode_c, ConstraintNode_c, LabelLeAssertionNode_c

public interface ConstraintNode
extends polyglot.ast.Node

The root of various constraint nodes.

Method Summary

Assertion	constraint()
ConstraintNode	constraint(Assertion constraint)

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, 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()

constraint

ConstraintNode constraint(Assertion constraint)