|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object polyglot.ast.Node_c jif.ast.ConstraintNode_c jif.ast.ActsForConstraintNode_c
public class ActsForConstraintNode_c
An implementation of the ActsForConstraintNode interface.
Field Summary | |
---|---|
protected PrincipalNode |
actor
|
protected PrincipalNode |
granter
|
protected boolean |
isEquiv
|
Fields inherited from class jif.ast.ConstraintNode_c |
---|
constraints |
Fields inherited from class polyglot.ast.Node_c |
---|
del, error, ext, position |
Constructor Summary | |
---|---|
ActsForConstraintNode_c(polyglot.util.Position pos,
PrincipalNode actor,
PrincipalNode granter,
boolean isEquiv)
|
Method Summary | |
---|---|
PrincipalNode |
actor()
Gets the actor principal. |
ActsForConstraintNode |
actor(PrincipalNode actor)
Returns a copy of this node with the actor updated. |
polyglot.ast.Node |
disambiguate(polyglot.visit.AmbiguityRemover ar)
Builds the type of this node. |
PrincipalNode |
granter()
Gets the granter principal. |
ActsForConstraintNode |
granter(PrincipalNode granter)
Returns a copy of this node with the granter updated. |
void |
prettyPrint(polyglot.util.CodeWriter w,
polyglot.visit.PrettyPrinter tr)
|
protected ActsForConstraintNode_c |
reconstruct(PrincipalNode actor,
PrincipalNode granter)
Reconstructs this node. |
void |
translate(polyglot.util.CodeWriter w,
polyglot.visit.Translator tr)
|
polyglot.ast.Node |
visitChildren(polyglot.visit.NodeVisitor v)
Visits the children of this node. |
Methods inherited from class jif.ast.ConstraintNode_c |
---|
constraint, 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, 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, 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, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride |
Methods inherited from interface polyglot.util.Copy |
---|
copy |
Field Detail |
---|
protected PrincipalNode actor
protected PrincipalNode granter
protected final boolean isEquiv
Constructor Detail |
---|
public ActsForConstraintNode_c(polyglot.util.Position pos, PrincipalNode actor, PrincipalNode granter, boolean isEquiv)
Method Detail |
---|
public PrincipalNode actor()
actor
in interface ActsForConstraintNode
public ActsForConstraintNode actor(PrincipalNode actor)
actor
in interface ActsForConstraintNode
public PrincipalNode granter()
granter
in interface ActsForConstraintNode
public ActsForConstraintNode granter(PrincipalNode granter)
granter
in interface ActsForConstraintNode
protected ActsForConstraintNode_c reconstruct(PrincipalNode actor, PrincipalNode granter)
public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)
visitChildren
in interface polyglot.ast.NodeOps
visitChildren
in class polyglot.ast.Node_c
public polyglot.ast.Node disambiguate(polyglot.visit.AmbiguityRemover ar) throws polyglot.types.SemanticException
disambiguate
in interface polyglot.ast.NodeOps
disambiguate
in class polyglot.ast.Node_c
polyglot.types.SemanticException
public void prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
prettyPrint
in interface polyglot.ast.NodeOps
prettyPrint
in class polyglot.ast.Node_c
public void translate(polyglot.util.CodeWriter w, polyglot.visit.Translator tr)
translate
in interface polyglot.ast.NodeOps
translate
in class polyglot.ast.Node_c
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |