Skip to content
Snippets Groups Projects
Select Git revision
  • ca14743b43ad84ee36d1a913ed813808e518ec77
  • dev default protected
  • main protected
  • feature/better-placeholders
  • 0.3.0
  • 0.2.5
  • 0.2.4
  • 0.2.3
  • 0.2.1
  • 0.2
  • 0.1
11 results

AfterClass.html

Blame
  • ProgramToScopeTree.relast 949 B
    // glue relation for the Java-based variable shadowing analysis
    rel ScopeTree.Program -> Program;
    
    abstract JavaScope : Scope;
    TypeDeclScope : JavaScope;
    rel TypeDeclScope.typeDecl -> TypeDecl;
    
    ProtectedClassDeclScope : TypeDeclScope;
    PackageClassDeclScope : TypeDeclScope;
    PrivateClassDeclScope : TypeDeclScope;
    
    BlockScope : JavaScope;
    rel BlockScope.block -> Block;
    
    ForStmtScope : JavaScope;
    rel ForStmtScope.forStmt -> ForStmt;
    
    EnhancedForStmtScope : JavaScope;
    rel EnhancedForStmtScope.enhancedForStmt -> EnhancedForStmt;
    
    abstract JavaDeclaration : Declaration ;
    SimpleJavaDeclaration : JavaDeclaration;
    rel SimpleJavaDeclaration.declarator -> Declarator;
    
    JavaParameterDeclaration : JavaDeclaration;
    rel JavaParameterDeclaration.parameterDeclaration -> ParameterDeclaration;
    
    JavaInferredLambdaParameterDeclaration : JavaDeclaration;
    rel JavaInferredLambdaParameterDeclaration.inferredParameterDeclaration -> InferredParameterDeclaration;