Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD