Skip to content
Snippets Groups Projects
Select Git revision
  • ea2d01818916142c702cfacd9fa9f492d271357c
  • master default protected
2 results

AddTwoInts.srv

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;