Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

Record Class Reference

Inheritance diagram for Record:
[legend]
Collaboration diagram for Record:
[legend]
List of all members.

Public Methods

 Record ()
Field addField (String name, Type fieldType)
void apply (TypeSwitch sw, Object o)
Expr defaultVal ()
boolean equals (Object o)
int getExtent ()
Field getField (String name)
Vector getFields ()
boolean isKind (int kind)
String toString ()

Private Attributes

Vector fields
boolean isMonitor = false

Detailed Description

A record type.

Definition at line 44 of file Record.java.


Member Function Documentation

boolean Record::equals Object   o [inline]
 

Two record types are equal if they have the same fields (name and type) in the same order.

Reimplemented from Type.

Definition at line 67 of file Record.java.

String Record::toString   [inline]
 

Returns:
Type string, e.g. `int[]'

Reimplemented from Type.

Definition at line 101 of file Record.java.


The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:21:02 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001