| java.lang.Object
 U2.T2.BaseDomain
U2.T2.BaseDomain0
| BaseDomain0 | | public class BaseDomain0 extends BaseDomain (Code) | | An implementation of
U2.T2.BaseDomain BaseDomain , providing
values for primitive types, enumeration types, and String. This
domain is finite.
The exact values in the domain: see source code.
This class also exports its subdomains, e.g. the subdomain of
integers, String, etc.
See Also: U2.T2.BaseDomain |
| Constructor Summary | |
| public | BaseDomain0()
Construct a default base domain. |
| BaseDomain0 | | public BaseDomain0()(Code) | | Construct a default base domain.
|
| IntegerDomain_1 | | public ArrayList<Serializable> IntegerDomain_1()(Code) | | Construct a domain of integers values (like 0,1,-1, etc). This
domain is included in the default base domain.
|
| StringDomain_1 | | public ArrayList<Serializable> StringDomain_1()(Code) | | Construct a domain of strings (like "","bob", "1234",
etc). This domain is included in the default base domain.
|
| main | | public static void main(String[] args)(Code) | | Just for testing the class.
|
|
|