jltools.ext.jif.ast
Class AuthConstraintNode_c

java.lang.Object
  |
  +--jltools.ext.jl.ast.Node_c
        |
        +--jltools.ext.jif.ast.ConstraintNode_c
              |
              +--jltools.ext.jif.ast.AuthConstraintNode_c

All Implemented Interfaces:

AuthConstraintNode, java.lang.Cloneable, ConstraintNode, Copy, Node, java.io.Serializable

public class AuthConstraintNode_c

extends ConstraintNode_c

implements AuthConstraintNode

An implmentation of the AuthConstraintNode interface.

See Also:

Serialized Form

Inner classes inherited from class jltools.ext.jl.ast.Node_c

Node_c.StringCodeWriter

Field Summary

protected java.util.List

principals

Fields inherited from class jltools.ext.jif.ast.ConstraintNode_c

constraint

Fields inherited from class jltools.ext.jl.ast.Node_c

ext, position

Constructor Summary

AuthConstraintNode_c(Ext ext, Position pos, java.util.List principals)

Method Summary

Node	buildTypes_(TypeBuilder tb)
java.util.List	principals() Gets the list of principal who grants their authorities.
AuthConstraintNode	principals(java.util.List principals) Returns a copy of this node with the principal list updated.
protected AuthConstraintNode_c	reconstruct(java.util.List principals)
Node	visitChildren(NodeVisitor v) Visit the children of the node.

Methods inherited from class jltools.ext.jif.ast.ConstraintNode_c

constraint, constraint, toString

Methods inherited from class jltools.ext.jl.ast.Node_c

buildTypes, buildTypesOverride_, buildTypesOverride, copy, disambiguate_, disambiguate, disambiguateOverride_, disambiguateOverride, disambiguateTypes_, disambiguateTypes, disambiguateTypesOverride_, disambiguateTypesOverride, dump, enterScope, exceptionCheck_, exceptionCheck, exceptionCheckOverride_, exceptionCheckOverride, ext, ext, foldConstants_, foldConstants, foldConstantsOverride_, foldConstantsOverride, leaveScope, position, position, reconstructTypes_, reconstructTypes, translate_, translate, translateBlock, translateSubstmt, typeCheck_, typeCheck, typeCheckOverride_, typeCheckOverride, visit, visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface jltools.ext.jif.ast.ConstraintNode

constraint, constraint

Methods inherited from interface jltools.ast.Node

buildTypesOverride_, copy, disambiguate_, disambiguateOverride_, disambiguateTypes_, disambiguateTypesOverride_, dump, enterScope, exceptionCheck_, exceptionCheckOverride_, ext, ext, foldConstants_, foldConstantsOverride_, leaveScope, position, position, reconstructTypes_, translate_, typeCheck_, typeCheckOverride_, visit

Field Detail

principals

protected java.util.List principals

Constructor Detail

AuthConstraintNode_c

public AuthConstraintNode_c(Ext ext,
                            Position pos,
                            java.util.List principals)

Method Detail

principals

public java.util.List principals()

Description copied from interface: AuthConstraintNode

Gets the list of principal who grants their authorities.

Specified by:

principals in interface AuthConstraintNode

principals

public AuthConstraintNode principals(java.util.List principals)

Description copied from interface: AuthConstraintNode

Returns a copy of this node with the principal list updated.

Specified by:

principals in interface AuthConstraintNode

reconstruct

protected AuthConstraintNode_c reconstruct(java.util.List principals)

visitChildren

public Node visitChildren(NodeVisitor v)

Description copied from interface: Node

Visit the children of the node.

Specified by:

visitChildren in interface Node

Overrides:

visitChildren in class Node_c

buildTypes_

public Node buildTypes_(TypeBuilder tb)
                 throws SemanticException

Specified by:

buildTypes_ in interface Node

Overrides:

buildTypes_ in class Node_c