public class TestTypeLattice extends java.lang.Object
| Constructor and Description |
|---|
TestTypeLattice() |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String[] args)
Create many threads and call bottom on the basic TypeLattice.
|
public TestTypeLattice()
public static void main(java.lang.String[] args) throws java.lang.Exception
args - Ignoredjava.lang.Exception - If there is a problem creating the threads
or calling bottom() on the TypeLattice.