| java.lang.Object mlsub.typing.Interface
Interface | final public class Interface implements TypeSymbol(Code) | | Structural interface.
author: Daniel Bonniot |
name | public String name(Code) | | Can be set for debugging reasons
|
Interface | public Interface(Variance variance)(Code) | | Creates a new interface in the given variance.
The interface is introduced in the rigid context.
|
Interface | public Interface(Variance variance, TypeConstructor associatedTC)(Code) | | Parameters: associatedTC - a type constructor linked to this interface(should this go outside mlsub.typing?) |
Interface | public Interface(Variance variance, String name)(Code) | | Parameters: name - the name of the interface |
|
|