C# Class Microsoft.Zing.TypeSystem

Inheritance: System.Compiler.TypeSystem

Mostra file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
ExplicitLiteralCoercion ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType ) : System.Compiler.Expression
GetTypeName ( System.Compiler.TypeNode type ) : string
ImplicitCoercion ( System.Compiler.Expression source, System.Compiler.TypeNode targetType, System.Compiler.TypeViewer typeViewer ) : System.Compiler.Expression
ImplicitCoercionFromTo ( System.Compiler.Expression source, System.Compiler.TypeNode t1, System.Compiler.TypeNode t2 ) : bool
ImplicitLiteralCoercion ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType ) : System.Compiler.Literal
ImplicitLiteralCoercionFromTo ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType ) : bool
IsVoid ( System.Compiler.TypeNode type ) : bool

Private Methods

Method	Description
HandleError ( System.Compiler.Node offendingNode, Error error ) : void
ImplicitLiteralCoercion ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType, bool explicitCoercion ) : System.Compiler.Literal
TypeSystem ( ErrorHandler errorHandler ) : System.Compiler

Method Details

ExplicitLiteralCoercion() public method

public ExplicitLiteralCoercion ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType ) : System.Compiler.Expression
lit	System.Compiler.Literal
sourceType	System.Compiler.TypeNode
targetType	System.Compiler.TypeNode
return	System.Compiler.Expression

GetTypeName() public method

public GetTypeName ( System.Compiler.TypeNode type ) : string
type	System.Compiler.TypeNode
return	string

ImplicitCoercion() public method

public ImplicitCoercion ( System.Compiler.Expression source, System.Compiler.TypeNode targetType, System.Compiler.TypeViewer typeViewer ) : System.Compiler.Expression
source	System.Compiler.Expression
targetType	System.Compiler.TypeNode
typeViewer	System.Compiler.TypeViewer
return	System.Compiler.Expression

ImplicitCoercionFromTo() public method

public ImplicitCoercionFromTo ( System.Compiler.Expression source, System.Compiler.TypeNode t1, System.Compiler.TypeNode t2 ) : bool
source	System.Compiler.Expression
t1	System.Compiler.TypeNode
t2	System.Compiler.TypeNode
return	bool

ImplicitLiteralCoercion() public method

public ImplicitLiteralCoercion ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType ) : System.Compiler.Literal
lit	System.Compiler.Literal
sourceType	System.Compiler.TypeNode
targetType	System.Compiler.TypeNode
return	System.Compiler.Literal

ImplicitLiteralCoercionFromTo() public method

public ImplicitLiteralCoercionFromTo ( System.Compiler.Literal lit, System.Compiler.TypeNode sourceType, System.Compiler.TypeNode targetType ) : bool
lit	System.Compiler.Literal
sourceType	System.Compiler.TypeNode
targetType	System.Compiler.TypeNode
return	bool

IsVoid() public method

public IsVoid ( System.Compiler.TypeNode type ) : bool
type	System.Compiler.TypeNode
return	bool