📄 recordtypedenoter.java
字号:
/* * @(#)RecordTypeDenoter.java 2.1 2003/10/07 * * Copyright (C) 1999, 2003 D.A. Watt and D.F. Brown * Dept. of Computing Science, University of Glasgow, Glasgow G12 8QQ Scotland * and School of Computer and Math Sciences, The Robert Gordon University, * St. Andrew Street, Aberdeen AB25 1HG, Scotland. * All rights reserved. * * This software is provided free for educational use only. It may * not be used for commercial purposes without the prior written permission * of the authors. */package Triangle.AbstractSyntaxTrees;import Triangle.SyntacticAnalyzer.SourcePosition;public class RecordTypeDenoter extends TypeDenoter { public RecordTypeDenoter (FieldTypeDenoter ftAST, SourcePosition thePosition) { super (thePosition); FT = ftAST; } public Object visit (Visitor v, Object o) { return v.visitRecordTypeDenoter(this, o); } public boolean equals (Object obj) { if (obj != null && obj instanceof ErrorTypeDenoter) return true; else if (obj != null && obj instanceof RecordTypeDenoter) return this.FT.equals(((RecordTypeDenoter) obj).FT); else return false; } public FieldTypeDenoter FT;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -