C# Class Microsoft.Zing.TypeSystem

Inheritance: System.Compiler.TypeSystem

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	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

Méthode	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 méthode

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
Résultat	System.Compiler.Expression

GetTypeName() public méthode

public GetTypeName ( System.Compiler.TypeNode type ) : string
type	System.Compiler.TypeNode
Résultat	string

ImplicitCoercion() public méthode

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
Résultat	System.Compiler.Expression

ImplicitCoercionFromTo() public méthode

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
Résultat	bool

ImplicitLiteralCoercion() public méthode

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
Résultat	System.Compiler.Literal

ImplicitLiteralCoercionFromTo() public méthode

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
Résultat	bool

IsVoid() public méthode

public IsVoid ( System.Compiler.TypeNode type ) : bool
type	System.Compiler.TypeNode
Résultat	bool