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

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


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

The ESC/Java2 Project Homepage