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)