📄 constructoraccess.java
字号:
} protected java.util.Map isDAafter_Variable_visited; // Declared in DefiniteAssignment.jrag at line 298 @SuppressWarnings({"unchecked", "cast"}) public boolean isDAafter(Variable v) { Object _parameters = v;if(isDAafter_Variable_visited == null) isDAafter_Variable_visited = new java.util.HashMap(4); if(new Integer(boundariesCrossed).equals(isDAafter_Variable_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: isDAafter in class: "); isDAafter_Variable_visited.put(_parameters, new Integer(boundariesCrossed)); boolean isDAafter_Variable_value = isDAafter_compute(v); isDAafter_Variable_visited.remove(_parameters); return isDAafter_Variable_value; } private boolean isDAafter_compute(Variable v) { return decl().isDAafter(v); } protected java.util.Map isDUafter_Variable_visited; // Declared in DefiniteAssignment.jrag at line 754 @SuppressWarnings({"unchecked", "cast"}) public boolean isDUafter(Variable v) { Object _parameters = v;if(isDUafter_Variable_visited == null) isDUafter_Variable_visited = new java.util.HashMap(4); if(new Integer(boundariesCrossed).equals(isDUafter_Variable_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: isDUafter in class: "); isDUafter_Variable_visited.put(_parameters, new Integer(boundariesCrossed)); boolean isDUafter_Variable_value = isDUafter_compute(v); isDUafter_Variable_visited.remove(_parameters); return isDUafter_Variable_value; } private boolean isDUafter_compute(Variable v) { return decl().isDUafter(v); } protected java.util.Map applicableAndAccessible_ConstructorDecl_visited; // Declared in LookupConstructor.jrag at line 51 @SuppressWarnings({"unchecked", "cast"}) public boolean applicableAndAccessible(ConstructorDecl decl) { Object _parameters = decl;if(applicableAndAccessible_ConstructorDecl_visited == null) applicableAndAccessible_ConstructorDecl_visited = new java.util.HashMap(4); if(new Integer(boundariesCrossed).equals(applicableAndAccessible_ConstructorDecl_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: applicableAndAccessible in class: "); applicableAndAccessible_ConstructorDecl_visited.put(_parameters, new Integer(boundariesCrossed)); boolean applicableAndAccessible_ConstructorDecl_value = applicableAndAccessible_compute(decl); applicableAndAccessible_ConstructorDecl_visited.remove(_parameters); return applicableAndAccessible_ConstructorDecl_value; } private boolean applicableAndAccessible_compute(ConstructorDecl decl) { return decl.applicable(getArgList()) && decl.accessibleFrom(hostType()); } protected int decls_visited = -1; protected boolean decls_computed = false; protected SimpleSet decls_value; // Declared in LookupConstructor.jrag at line 57 @SuppressWarnings({"unchecked", "cast"}) public SimpleSet decls() { if(decls_computed) return decls_value; if(decls_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: decls in class: "); decls_visited = boundariesCrossed; int num = boundariesCrossed; boolean isFinal = this.is$Final(); decls_value = decls_compute(); if(isFinal && num == boundariesCrossed) decls_computed = true; decls_visited = -1; return decls_value; } private SimpleSet decls_compute() { return mostSpecificConstructor(lookupConstructor()); } protected int decl_visited = -1; protected boolean decl_computed = false; protected ConstructorDecl decl_value; // Declared in LookupConstructor.jrag at line 65 @SuppressWarnings({"unchecked", "cast"}) public ConstructorDecl decl() { if(decl_computed) return decl_value; if(decl_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: decl in class: "); decl_visited = boundariesCrossed; int num = boundariesCrossed; boolean isFinal = this.is$Final(); decl_value = decl_compute(); if(isFinal && num == boundariesCrossed) decl_computed = true; decl_visited = -1; return decl_value; } private ConstructorDecl decl_compute() { SimpleSet decls = decls(); if(decls.size() == 1) return (ConstructorDecl)decls.iterator().next(); return unknownConstructor(); } protected int validArgs_visited = -1; // Declared in NameCheck.jrag at line 124 @SuppressWarnings({"unchecked", "cast"}) public boolean validArgs() { if(validArgs_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: validArgs in class: "); validArgs_visited = boundariesCrossed; boolean validArgs_value = validArgs_compute(); validArgs_visited = -1; return validArgs_value; } private boolean validArgs_compute() { for(int i = 0; i < getNumArg(); i++) if(getArg(i).type().isUnknown()) return false; return true; } protected int name_visited = -1; // Declared in QualifiedNames.jrag at line 19 @SuppressWarnings({"unchecked", "cast"}) public String name() { if(name_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: name in class: "); name_visited = boundariesCrossed; String name_value = name_compute(); name_visited = -1; return name_value; } private String name_compute() { return "this"; } protected int predNameType_visited = -1; // Declared in SyntacticClassification.jrag at line 129 @SuppressWarnings({"unchecked", "cast"}) public NameType predNameType() { if(predNameType_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: predNameType in class: "); predNameType_visited = boundariesCrossed; NameType predNameType_value = predNameType_compute(); predNameType_visited = -1; return predNameType_value; } private NameType predNameType_compute() { return NameType.AMBIGUOUS_NAME; } protected int type_visited = -1; // Declared in TypeAnalysis.jrag at line 286 @SuppressWarnings({"unchecked", "cast"}) public TypeDecl type() { if(type_computed) return type_value; if(type_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: type in class: "); type_visited = boundariesCrossed; int num = boundariesCrossed; boolean isFinal = this.is$Final(); type_value = type_compute(); if(isFinal && num == boundariesCrossed) type_computed = true; type_visited = -1; return type_value; } private TypeDecl type_compute() { return decl().type(); } protected java.util.Map handlesException_TypeDecl_visited; // Declared in ExceptionHandling.jrag at line 30 @SuppressWarnings({"unchecked", "cast"}) public boolean handlesException(TypeDecl exceptionType) { Object _parameters = exceptionType;if(handlesException_TypeDecl_visited == null) handlesException_TypeDecl_visited = new java.util.HashMap(4); if(new Integer(boundariesCrossed).equals(handlesException_TypeDecl_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: handlesException in class: "); handlesException_TypeDecl_visited.put(_parameters, new Integer(boundariesCrossed)); if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); boolean handlesException_TypeDecl_value = getParent().Define_boolean_handlesException(this, null, exceptionType); handlesException_TypeDecl_visited.remove(_parameters); return handlesException_TypeDecl_value; } protected int lookupConstructor_visited = -1; // Declared in LookupConstructor.jrag at line 14 @SuppressWarnings({"unchecked", "cast"}) public Collection lookupConstructor() { if(lookupConstructor_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: lookupConstructor in class: "); lookupConstructor_visited = boundariesCrossed; if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); Collection lookupConstructor_value = getParent().Define_Collection_lookupConstructor(this, null); lookupConstructor_visited = -1; return lookupConstructor_value; } protected int unknownConstructor_visited = -1; // Declared in LookupConstructor.jrag at line 71 @SuppressWarnings({"unchecked", "cast"}) public ConstructorDecl unknownConstructor() { if(unknownConstructor_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: unknownConstructor in class: "); unknownConstructor_visited = boundariesCrossed; if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); ConstructorDecl unknownConstructor_value = getParent().Define_ConstructorDecl_unknownConstructor(this, null); unknownConstructor_visited = -1; return unknownConstructor_value; } // Declared in LookupVariable.jrag at line 131 public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name) { if(caller == getArgListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return unqualifiedScope().lookupVariable(name); } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_SimpleSet_lookupVariable(this, caller, name); } // Declared in LookupMethod.jrag at line 29 public Collection Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name) { if(caller == getArgListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return unqualifiedScope().lookupMethod(name); } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_Collection_lookupMethod(this, caller, name); } // Declared in LookupType.jrag at line 88 public boolean Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName) { if(caller == getArgListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return unqualifiedScope().hasPackage(packageName); } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_boolean_hasPackage(this, caller, packageName); } // Declared in TypeHierarchyCheck.jrag at line 18 public String Define_String_methodHost(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return unqualifiedScope().methodHost(); } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_String_methodHost(this, caller); } // Declared in SyntacticClassification.jrag at line 121 public NameType Define_NameType_nameType(ASTNode caller, ASTNode child) { if(caller == getArgListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return NameType.EXPRESSION_NAME; } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_NameType_nameType(this, caller); } // Declared in LookupType.jrag at line 166 public SimpleSet Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name) { if(caller == getArgListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return unqualifiedScope().lookupType(name); } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_SimpleSet_lookupType(this, caller, name); } // Declared in TypeHierarchyCheck.jrag at line 130 public boolean Define_boolean_inExplicitConstructorInvocation(ASTNode caller, ASTNode child) { if(caller == getArgListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return true; } if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); return getParent().Define_boolean_inExplicitConstructorInvocation(this, caller); }public ASTNode rewriteTo() { return super.rewriteTo();}}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -