📄 program.java
字号:
} // Declared in TypeHierarchyCheck.jrag at line 128 public boolean Define_boolean_inExplicitConstructorInvocation(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_inExplicitConstructorInvocation(this, caller); } // Declared in LookupType.jrag at line 32 public TypeDecl Define_TypeDecl_typeByte(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeByte(); } return getParent().Define_TypeDecl_typeByte(this, caller); } // Declared in LookupType.jrag at line 33 public TypeDecl Define_TypeDecl_typeShort(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeShort(); } return getParent().Define_TypeDecl_typeShort(this, caller); } // Declared in LookupType.jrag at line 19 public TypeDecl Define_TypeDecl_typeCloneable(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeCloneable(); } return getParent().Define_TypeDecl_typeCloneable(this, caller); } // Declared in TypeCheck.jrag at line 406 public TypeDecl Define_TypeDecl_returnType(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeVoid(); } return getParent().Define_TypeDecl_returnType(this, caller); } // Declared in AnonymousClasses.jrag at line 16 public TypeDecl Define_TypeDecl_superType(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_TypeDecl_superType(this, caller); } // Declared in TypeHierarchyCheck.jrag at line 14 public String Define_String_methodHost(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller);{ throw new Error("Needs extra equation for methodHost()"); }} return getParent().Define_String_methodHost(this, caller); } // Declared in LookupType.jrag at line 178 public SimpleSet Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name) { if(true) { int childIndex = this.getIndexOfChild(caller); return SimpleSet.emptySet; } return getParent().Define_SimpleSet_lookupType(this, caller, name); } // Declared in Modifiers.jrag at line 291 public boolean Define_boolean_mayBeStatic(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_mayBeStatic(this, caller); } // Declared in LookupType.jrag at line 37 public TypeDecl Define_TypeDecl_typeFloat(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeFloat(); } return getParent().Define_TypeDecl_typeFloat(this, caller); } // Declared in CreateBCode.jrag at line 954 public int Define_int_condition_false_label(ASTNode caller, ASTNode child) { if(true) { int i = this.getIndexOfChild(caller);{ throw new Error("condition_false_label not implemented"); }} return getParent().Define_int_condition_false_label(this, caller); } // Declared in LookupMethod.jrag at line 33 public Collection Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name) { if(true) { int childIndex = this.getIndexOfChild(caller); return Collections.EMPTY_LIST; } return getParent().Define_Collection_lookupMethod(this, caller, name); } // Declared in CodeGeneration.jrag at line 47 public int Define_int_variableScopeEndLabel(ASTNode caller, ASTNode child, CodeGeneration gen) { if(true) { int i = this.getIndexOfChild(caller);{ throw new Error("variableScopeEndLabel not valid from here"); }} return getParent().Define_int_variableScopeEndLabel(this, caller, gen); } // Declared in TypeAnalysis.jrag at line 580 public TypeDecl Define_TypeDecl_hostType(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_TypeDecl_hostType(this, caller); } // Declared in DefiniteAssignment.jrag at line 16 public boolean Define_boolean_isDest(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_isDest(this, caller); } // Declared in CreateBCode.jrag at line 958 public int Define_int_condition_true_label(ASTNode caller, ASTNode child) { if(true) { int i = this.getIndexOfChild(caller);{ throw new Error("condition_true_label not implemented"); }} return getParent().Define_int_condition_true_label(this, caller); } // Declared in DefiniteAssignment.jrag at line 26 public boolean Define_boolean_isSource(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return true; } return getParent().Define_boolean_isSource(this, caller); } // Declared in TypeAnalysis.jrag at line 245 public ConstructorDecl Define_ConstructorDecl_unknownConstructor(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return unknownConstructor(); } return getParent().Define_ConstructorDecl_unknownConstructor(this, caller); } // Declared in AnonymousClasses.jrag at line 26 public ConstructorDecl Define_ConstructorDecl_constructorDecl(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_ConstructorDecl_constructorDecl(this, caller); } // Declared in TypeAnalysis.jrag at line 257 public TypeDecl Define_TypeDecl_declType(ASTNode caller, ASTNode child) { if(true) { int i = this.getIndexOfChild(caller); return null; } return getParent().Define_TypeDecl_declType(this, caller); } // Declared in LookupMethod.jrag at line 21 public Expr Define_Expr_nestedScope(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller);{ throw new UnsupportedOperationException(); }} return getParent().Define_Expr_nestedScope(this, caller); } // Declared in LookupType.jrag at line 81 public boolean Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName) { if(true) { int childIndex = this.getIndexOfChild(caller); return hasPackage(packageName); } return getParent().Define_boolean_hasPackage(this, caller, packageName); } // Declared in LookupType.jrag at line 42 public TypeDecl Define_TypeDecl_typeVoid(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeVoid(); } return getParent().Define_TypeDecl_typeVoid(this, caller); } // Declared in LookupVariable.jrag at line 24 public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name) { if(true) { int childIndex = this.getIndexOfChild(caller); return SimpleSet.emptySet; } return getParent().Define_SimpleSet_lookupVariable(this, caller, name); } // Declared in LookupType.jrag at line 34 public TypeDecl Define_TypeDecl_typeChar(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return typeChar(); } return getParent().Define_TypeDecl_typeChar(this, caller); } // Declared in LocalNum.jrag at line 46 public int Define_int_resultSaveLocalNum(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller);{ throw new Error("Unsupported operation resultSaveLocalNum"); }} return getParent().Define_int_resultSaveLocalNum(this, caller); } // Declared in NameCheck.jrag at line 420 public Case Define_Case_bind(ASTNode caller, ASTNode child, Case c) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_Case_bind(this, caller, c); } // Declared in LookupType.jrag at line 101 public TypeDecl Define_TypeDecl_lookupType(ASTNode caller, ASTNode child, String packageName, String typeName) { if(true) { int childIndex = this.getIndexOfChild(caller); return lookupType(packageName, typeName); } return getParent().Define_TypeDecl_lookupType(this, caller, packageName, typeName); } // Declared in Modifiers.jrag at line 293 public boolean Define_boolean_mayBeAbstract(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_mayBeAbstract(this, caller); } // Declared in TypeAnalysis.jrag at line 220 public boolean Define_boolean_isAnonymous(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_isAnonymous(this, caller); } // Declared in ExceptionHandling.jrag at line 13 public TypeDecl Define_TypeDecl_typeException(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return lookupType("java.lang", "Exception"); } return getParent().Define_TypeDecl_typeException(this, caller); } // Declared in LocalNum.jrag at line 15 public int Define_int_localNum(ASTNode caller, ASTNode child) { if(true) { int index = this.getIndexOfChild(caller); return 0; } return getParent().Define_int_localNum(this, caller); } // Declared in Modifiers.jrag at line 294 public boolean Define_boolean_mayBeVolatile(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_mayBeVolatile(this, caller); } // Declared in TypeAnalysis.jrag at line 515 public BodyDecl Define_BodyDecl_enclosingBodyDecl(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_BodyDecl_enclosingBodyDecl(this, caller); } // Declared in NameCheck.jrag at line 244 public ASTNode Define_ASTNode_enclosingBlock(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_ASTNode_enclosingBlock(this, caller); } // Declared in Modifiers.jrag at line 297 public boolean Define_boolean_mayBeSynchronized(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_mayBeSynchronized(this, caller); } // Declared in UnreachableStatements.jrag at line 158 public boolean Define_boolean_reportUnreachable(ASTNode caller, ASTNode child) { if(caller == getCompilationUnitListNoTransform()) { int childIndex = caller.getIndexOfChild(child); return true; } return getParent().Define_boolean_reportUnreachable(this, caller); } // Declared in DefiniteAssignment.jrag at line 50 public boolean Define_boolean_isIncOrDec(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return false; } return getParent().Define_boolean_isIncOrDec(this, caller); } // Declared in TypeCheck.jrag at line 506 public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller); return null; } return getParent().Define_TypeDecl_enclosingInstance(this, caller); } // Declared in NameCheck.jrag at line 295 public VariableScope Define_VariableScope_outerScope(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndexOfChild(caller);{ throw new UnsupportedOperationException("outerScope() not defined"); }} return getParent().Define_VariableScope_outerScope(this, caller); } // Declared in LookupType.jrag at line 38 public TypeDecl Define_TypeDecl_typeDouble(ASTNode caller, ASTNode child) { if(true) { int childIndex = this.getIndex
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -