jif.ast
Interface JifClassDecl

All Superinterfaces:
polyglot.ast.ClassDecl, polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.util.Copy, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, 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.


Method Summary
 JifContext addAuthorityToContext(JifContext A)
           
 JifContext addParamsToContext(JifContext A)
           
 java.util.List authority()
           
 JifClassDecl authority(java.util.List authority)
           
 java.util.List params()
           
 JifClassDecl params(java.util.List 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.ClassMember
memberInstance
 

Method Detail

params

java.util.List params()

params

JifClassDecl params(java.util.List params)

authority

java.util.List authority()

authority

JifClassDecl authority(java.util.List authority)

type

JifClassDecl type(polyglot.types.Type type)

addParamsToContext

JifContext addParamsToContext(JifContext A)

addAuthorityToContext

JifContext addAuthorityToContext(JifContext A)