00001 package edu.ksu.cis.bandera.bir; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 1998, 1999 James Corbett (corbett@hawaii.edu) * 00006 * All rights reserved. * 00007 * * 00008 * This work was done as a project in the SAnToS Laboratory, * 00009 * Department of Computing and Information Sciences, Kansas State * 00010 * University, USA (http://www.cis.ksu.edu/santos). * 00011 * It is understood that any modification not identified as such is * 00012 * not covered by the preceding statement. * 00013 * * 00014 * This work is free software; you can redistribute it and/or * 00015 * modify it under the terms of the GNU Library General Public * 00016 * License as published by the Free Software Foundation; either * 00017 * version 2 of the License, or (at your option) any later version. * 00018 * * 00019 * This work is distributed in the hope that it will be useful, * 00020 * but WITHOUT ANY WARRANTY; without even the implied warranty of * 00021 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00022 * Library General Public License for more details. * 00023 * * 00024 * You should have received a copy of the GNU Library General Public * 00025 * License along with this toolkit; if not, write to the * 00026 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, * 00027 * Boston, MA 02111-1307, USA. * 00028 * * 00029 * Java is a trademark of Sun Microsystems, Inc. * 00030 * * 00031 * To submit a bug report, send a comment, or get the latest news on * 00032 * this project and other SAnToS projects, please visit the web-site * 00033 * http://www.cis.ksu.edu/santos * 00034 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 00035 import ca.mcgill.sable.util.*; 00036 00037 import java.io.*; 00038 import java.util.*; 00039 00040 /** 00041 * A record field. 00042 */ 00043 00044 public class Field extends Type implements BirConstants { 00045 00046 String name; 00047 Type type; 00048 Record record; 00049 int offset; 00050 00051 public Field(String name, Type type, Record record) { 00052 this.name = name; 00053 this.type = type; 00054 this.record = record; 00055 } 00056 public void apply(TypeSwitch sw, Object o) 00057 { 00058 sw.caseField(this, o); 00059 } 00060 public Expr defaultVal() { return null; } 00061 /** 00062 * Two fields are equal if they have the same name and type. 00063 */ 00064 public boolean equals(Object o) { 00065 return (o instanceof Field) && ((Field)o).name.equals(this.name) 00066 && ((Field)o).type.equals(this.type); 00067 } 00068 public String getName() { return name; } 00069 public int getOffset() { return offset; } 00070 public Record getRecord() { return record; } 00071 public Type getType() { return type; } 00072 public int hashCode() { 00073 return name.hashCode(); 00074 } 00075 public boolean isKind(int kind) { 00076 return (kind & FIELD) != 0; 00077 } 00078 public void setOffset(int offset) { this.offset = offset; } 00079 // Printing 00080 public String toString() { 00081 return name + " : " + type.typeSpec() + "; "; 00082 } 00083 }