Last change
on this file since 1 was
1,
checked in by lnalod, 15 years ago
|
Initial import of YAO sources
|
File size:
728 bytes
|
Line | |
---|
1 | /** A predefined type specifier. They may have a name like |
---|
2 | * "integer" sometimes for quick lookup, but are not user type |
---|
3 | * names like for TYPE foo = RECORD i:integer END; |
---|
4 | * |
---|
5 | * That would be a UserDefinedType object pointing to a RecordType |
---|
6 | * object. All variables refer |
---|
7 | * to a TypeSpecifier to indicate the type of their values. |
---|
8 | * |
---|
9 | * You should view this class and subclasses as templates for |
---|
10 | * building up more complicated types. These are the predefined |
---|
11 | * types used by UserDefinedType to build new ones. |
---|
12 | */ |
---|
13 | import java.io.*; |
---|
14 | |
---|
15 | public class TypeSpecifier extends Symbol implements Serializable { |
---|
16 | |
---|
17 | public TypeSpecifier() { |
---|
18 | } |
---|
19 | |
---|
20 | public TypeSpecifier(String name) { |
---|
21 | super(name); |
---|
22 | } |
---|
23 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.