|
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 |
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. |
|
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 |