Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
javafe.ast.ModifierPragmaVec

Packages that use ModifierPragmaVec
escjava |
escjava.ast |
escjava.parser |
escjava.tc |
javafe.ast |
javafe.parser |
javafe.tc |

Uses of ModifierPragmaVec in escjava

Fields in escjava declared as ModifierPragmaVec
`ModifierPragmaVec` | `ParsedRoutineSpecs.modifiers`

Methods in escjava that return ModifierPragmaVec
`protected ModifierPragmaVec` | `AnnotationHandler.desugarAnnotations(ModifierPragmaVec pm, RoutineDecl tde)`
`ModifierPragmaVec` | `AnnotationHandler.getNonNull(RoutineDecl rd)`
`ModifierPragmaVec` | `AnnotationHandler.desugar(java.util.ArrayList ps, RoutineDecl tde)`

Methods in escjava with parameters of type ModifierPragmaVec
`protected ModifierPragmaVec` | `AnnotationHandler.desugarAnnotations(ModifierPragmaVec pm, RoutineDecl tde)`
`void` | `AnnotationHandler.checkSignalsOnly(ModifierPragmaVec mpv, RoutineDecl tde)`
`void` | `AnnotationHandler.desugar(ModifierPragmaVec m, java.util.ArrayList requiresList, ModifierPragmaVec resultList, RoutineDecl tde)`
`void` | `AnnotationHandler.deNest(java.util.ArrayList ps, ModifierPragmaVec prefix, java.util.ArrayList deNestedSpecs)`
`void` | `AnnotationHandler.combineModifies(ModifierPragmaVec list)`
`void` | `AnnotationHandler.deNest(ModifierPragmaVec m, ModifierPragmaVec prefix, java.util.ArrayList deNestedSpecs)`
`void` | `AnnotationHandler.fixDefaultSpecs(ModifierPragmaVec prefix)`
`int` | `AnnotationHandler.NestedPragmaParser.parseAlsoSeq(int pos, ModifierPragmaVec pm, int behaviorMode, ModifierPragma behavior, java.util.ArrayList result)`
`int` | `AnnotationHandler.NestedPragmaParser.parseCCSeq(int pos, ModifierPragmaVec pm, ModifierPragmaVec result)` Parse the clauses in a code_contract section
`int` | `AnnotationHandler.NestedPragmaParser.parseSeq(int pos, ModifierPragmaVec pm, int behaviorMode, ModifierPragma behavior, ModifierPragmaVec result)`

Uses of ModifierPragmaVec in escjava.ast

Methods in escjava.ast that return ModifierPragmaVec
`static ModifierPragmaVec` | `Utils.getAllSpecs(RoutineDecl rd)`
`static ModifierPragmaVec` | `Utils.getInheritedSpecs(RoutineDecl rd)`
`static ModifierPragmaVec` | `Utils.addInheritedSpecs(RoutineDecl rd, ModifierPragmaVec mp)`
`ModifierPragmaVec` | `ModelDeclPragma.getPModifiers()`
`ModifierPragmaVec` | `GhostDeclPragma.getPModifiers()`

Methods in escjava.ast with parameters of type ModifierPragmaVec
`static ModifierPragma` | `Utils.findModifierPragma(ModifierPragmaVec mp, int tag)`
`static void` | `Utils.removeModifierPragma(ModifierPragmaVec p, int tag)`
`static boolean` | `Utils.isModel(ModifierPragmaVec m)`
`static ModifierPragmaVec` | `Utils.addInheritedSpecs(RoutineDecl rd, ModifierPragmaVec mp)`
`void` | `ModelTypePragma.decorate(ModifierPragmaVec modifierPragmas)`
`void` | `ModelMethodDeclPragma.decorate(ModifierPragmaVec modifierPragmas)`
`void` | `ModelDeclPragma.decorate(ModifierPragmaVec modifierPragmas)`
`void` | `ModelConstructorDeclPragma.decorate(ModifierPragmaVec modifierPragmas)`
`void` | `GhostDeclPragma.decorate(ModifierPragmaVec modifierPragmas)`
`void` | `EscPrettyPrint.print(java.io.OutputStream o, int ind, ModifierPragmaVec v)`

Uses of ModifierPragmaVec in escjava.parser

Methods in escjava.parser with parameters of type ModifierPragmaVec
`protected TypeDecl` | `EscPragmaParser.parseTypeDeclTail(Lex l, boolean specOnly, int loc, int modifiers, ModifierPragmaVec modifierPragmas)`
`boolean` | `EscPragmaParser.parseFieldDeclTail(Token dst, int loc, int locId, Type type, Identifier id, ModifierPragmaVec modifierPragmas)`
`boolean` | `EscPragmaParser.parseConstructorDeclTail(Token dst, int loc, Type type, int locType, ModifierPragmaVec modifierPragmas)`
`boolean` | `EscPragmaParser.parseMethodDeclTail(Token dst, int loc, Type type, int locType, Identifier id, int locId, ModifierPragmaVec modifierPragmas)`

Uses of ModifierPragmaVec in escjava.tc

Methods in escjava.tc with parameters of type ModifierPragmaVec
`boolean` | `TypeCheck.canAccess(TypeSig from, TypeSig target, int modifiers, ModifierPragmaVec pmodifiers)` Override `TypeCheck.canAccess(javafe.tc.TypeSig, javafe.tc.TypeSig, int, javafe.ast.ModifierPragmaVec)` to account for `spec_public`.
`protected boolean` | `PrepTypeDeclaration.superMemberAccessible(TypeSig type, TypeSig superType, int modifiers, ModifierPragmaVec pmodifiers)`

Uses of ModifierPragmaVec in javafe.ast

Fields in javafe.ast declared as ModifierPragmaVec
`ModifierPragmaVec` | `TypeDecl.pmodifiers`
`ModifierPragmaVec` | `RoutineDecl.pmodifiers`
`ModifierPragmaVec` | `InitBlock.pmodifiers`
`ModifierPragmaVec` | `GenericVarDecl.pmodifiers`

Methods in javafe.ast that return ModifierPragmaVec
`ModifierPragmaVec` | `TypeDeclElemPragma.getPModifiers()`
`ModifierPragmaVec` | `TypeDeclElem.getPModifiers()`
`ModifierPragmaVec` | `TypeDecl.getPModifiers()`
`ModifierPragmaVec` | `RoutineDecl.getPModifiers()`
`static ModifierPragmaVec` | `ModifierPragmaVec.make()` * Public maker methods: * *
`static ModifierPragmaVec` | `ModifierPragmaVec.make(int count)`
`static ModifierPragmaVec` | `ModifierPragmaVec.make(java.util.Vector vec)`
`static ModifierPragmaVec` | `ModifierPragmaVec.make(ModifierPragma[] els)`
`static ModifierPragmaVec` | `ModifierPragmaVec.popFromStackVector(StackVector s)`
`ModifierPragmaVec` | `ModifierPragmaVec.copy()`
`ModifierPragmaVec` | `InitBlock.getPModifiers()`
`ModifierPragmaVec` | `FieldDecl.getPModifiers()`

Methods in javafe.ast with parameters of type ModifierPragmaVec
`void` | `TypeDeclElemPragma.decorate(ModifierPragmaVec modifierPragmas)`
`void` | `ModifierPragmaVec.append(ModifierPragmaVec vec)`
`static MethodDecl` | `MethodDecl.make(int modifiers, ModifierPragmaVec pmodifiers, TypeModifierPragmaVec tmodifiers, FormalParaDeclVec args, TypeNameVec raises, BlockStmt body, int locOpenBrace, int loc, int locId, int locThrowsKeyword, Identifier id, Type returnType, int locType)`
`static LocalVarDecl` | `LocalVarDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId, VarInit init, int locAssignOp)`
`static InterfaceDecl` | `InterfaceDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, TypeNameVec superInterfaces, TypeModifierPragmaVec tmodifiers, TypeDeclElemVec elems, int loc, int locId, int locOpenBrace, int locCloseBrace)`
`static InitBlock` | `InitBlock.make(int modifiers, ModifierPragmaVec pmodifiers, BlockStmt block)`
`static FormalParaDecl` | `FormalParaDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId)`
`static FieldDecl` | `FieldDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId, VarInit init, int locAssignOp)`
`static ConstructorDecl` | `ConstructorDecl.make(int modifiers, ModifierPragmaVec pmodifiers, TypeModifierPragmaVec tmodifiers, FormalParaDeclVec args, TypeNameVec raises, BlockStmt body, int locOpenBrace, int loc, int locId, int locThrowsKeyword)`
`static ClassDecl` | `ClassDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, TypeNameVec superInterfaces, TypeModifierPragmaVec tmodifiers, TypeDeclElemVec elems, int loc, int locId, int locOpenBrace, int locCloseBrace, TypeName superClass)`

Uses of ModifierPragmaVec in javafe.parser

Fields in javafe.parser declared as ModifierPragmaVec
`ModifierPragmaVec` | `ParseUtil.modifierPragmas` As a side effect, `parseModifiers` mutates this value.

Methods in javafe.parser that return ModifierPragmaVec
`ModifierPragmaVec` | `ParseUtil.parseModifierPragmas(Lex l)` Parse a list of modifier pragmas.
`ModifierPragmaVec` | `ParseUtil.parseMoreModifierPragmas(Lex l, ModifierPragmaVec orig)` Parse a list of modifier pragmas and adds them to an existing `ModifierPragmaVec`.

Methods in javafe.parser with parameters of type ModifierPragmaVec
`ModifierPragmaVec` | `ParseUtil.parseMoreModifierPragmas(Lex l, ModifierPragmaVec orig)` Parse a list of modifier pragmas and adds them to an existing `ModifierPragmaVec`.
`(package private) abstract TypeDecl` | `ParseStmt.parseTypeDeclTail(Lex l, boolean specOnly, int loc, int modifiers, ModifierPragmaVec modifierPragmas)` Parse a type declaration stating at the class/interface keyword.
`private void` | `ParseStmt.addVarDeclStmts(Lex l, int modifiers, ModifierPragmaVec modifierPragmas, Type basetype)` Internal routine for parsing variable declarations after the leading type has been parsed.
`protected TypeDecl` | `Parse.parseTypeDeclaration(Lex l, boolean specOnly, int modifiers, ModifierPragmaVec modifierPragmas, int loc)`
`protected TypeDecl` | `Parse.parseTypeDeclTail(Lex l, boolean specOnly, int loc, int modifiers, ModifierPragmaVec modifierPragmas)` Parse a `TypeDeclTail` (ie a class or interface declaration starting at the keyword 'class' or 'interface').

Uses of ModifierPragmaVec in javafe.tc

Methods in javafe.tc with parameters of type ModifierPragmaVec
`boolean` | `TypeCheck.canAccess(TypeSig from, TypeSig target, int modifiers, ModifierPragmaVec pmodifiers)` Can a member of type target with modifiers modifiers/pmodifiers be accessed by code located in from?
`protected boolean` | `PrepTypeDeclaration.superMemberAccessible(TypeSig type, TypeSig superType, int modifiers, ModifierPragmaVec pmodifiers)` Check if a member is accessible from a direct subclass.
`protected Env` | `FlowInsensitiveChecks.checkModifierPragmaVec(ModifierPragmaVec v, ASTNode ctxt, Env env)` Hook to do additional processing on `ModifierVec`s.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage