jif.ast

Interface JifClassDecl

All Superinterfaces:

polyglot.ast.ClassDecl, polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Documentable, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable, polyglot.ast.Term, polyglot.ast.TopLevelDecl

All Known Implementing Classes:

JifClassDecl_c

public interface JifClassDecl
extends polyglot.ast.ClassDecl

An immutable representation of the Jif class declaration. It extends the Java class declaration with the label/principal parameters and the authority constraint.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Term

polyglot.ast.Term.Instance

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

polyglot.util.Copy.Util

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Modifier and Type	Method and Description
JifContext	addAuthorityToContext(JifContext A)
JifContext	addParamsToContext(JifContext A)
java.util.List<PrincipalNode>	authority()
JifClassDecl	authority(java.util.List<PrincipalNode> authority)
java.util.List<ConstraintNode<Assertion>>	constraints()
JifClassDecl	constraints(java.util.List<ConstraintNode<Assertion>> constraints)
java.util.List<ParamDecl>	params()
JifClassDecl	params(java.util.List<ParamDecl> params)
JifClassDecl	type(polyglot.types.Type type)

Methods inherited from interface polyglot.ast.ClassDecl

body, body, flags, flags, id, id, interfaces, interfaces, name, name, superClass, superClass, type, type

Methods inherited from interface polyglot.ast.Documentable

javadoc, javadoc

Methods inherited from interface polyglot.ast.ClassMember

memberInstance

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

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

params

java.util.List<ParamDecl> params()

params

JifClassDecl params(java.util.List<ParamDecl> params)

authority

java.util.List<PrincipalNode> authority()

authority

JifClassDecl authority(java.util.List<PrincipalNode> authority)

constraints

java.util.List<ConstraintNode<Assertion>> constraints()

constraints

JifClassDecl constraints(java.util.List<ConstraintNode<Assertion>> constraints)

type

JifClassDecl type(polyglot.types.Type type)

addParamsToContext

JifContext addParamsToContext(JifContext A)

addAuthorityToContext

JifContext addAuthorityToContext(JifContext A)