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.