|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface JifClassDecl
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 |
---|
java.util.List params()
JifClassDecl params(java.util.List params)
java.util.List authority()
JifClassDecl authority(java.util.List authority)
JifClassDecl type(polyglot.types.Type type)
JifContext addParamsToContext(JifContext A)
JifContext addAuthorityToContext(JifContext A)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |