frege.runtime

Class Phantom

java.lang.Object

frege.runtime.Phantom

public class Phantom
extends java.lang.Object

Container for ST phantom types.

When BBB is a subtype of AAA, then a ST BBB action can be embedded in a ST AAA action but not the other way around.

(This is experimental)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	Phantom.JavaFX Graphic with JavaFX
static interface	Phantom.RealWorld the root of the phantom hierarchy, this is used for IO actions
static interface	Phantom.STM Software transactional memory
static interface	Phantom.XorY Subtypes to play with
static interface	Phantom.XorZ
static interface	Phantom.XXX
static interface	Phantom.YYY
static interface	Phantom.ZZZ

Field Summary

Fields

Modifier and Type	Field and Description
static Phantom.RealWorld	theRealWorld this should not be exposed, but ...

Constructor Summary

Constructors

Constructor and Description
Phantom()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

theRealWorld

public static final Phantom.RealWorld theRealWorld

this should not be exposed, but ...

Constructor Detail

Phantom

public Phantom()