C# Class Algebra.QL.TypeCheck.Type.UnknownType

Inheritance: ITypeCheckType
Mostrar archivo Open project: software-engineering-amsterdam/poly-ql

Public Methods

Method Description
CompatibleWith ( ITypeCheckType other ) : bool
GetLeastUpperBound ( ITypeCheckType other ) : ITypeCheckType
IsChildOf ( ITypeCheckType other ) : bool
ToString ( ) : string
UnknownType ( ) : System

Method Details

CompatibleWith() public method

public CompatibleWith ( ITypeCheckType other ) : bool
other ITypeCheckType
return bool

GetLeastUpperBound() public method

public GetLeastUpperBound ( ITypeCheckType other ) : ITypeCheckType
other ITypeCheckType
return ITypeCheckType

IsChildOf() public method

public IsChildOf ( ITypeCheckType other ) : bool
other ITypeCheckType
return bool

ToString() public method

public ToString ( ) : string
return string

UnknownType() public method

public UnknownType ( ) : System
return System