Skip to content
Snippets Groups Projects
Select Git revision
  • c31c3c876465d72cb11ba55c47db584c9ecddaad
  • master default protected
  • artefact-eval
  • modelica
  • visibilityscopes
  • scopetree
  • similarCfg
  • wip-reusable
8 results

ProgramToScopeTree.relast

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;