C# 클래스 Microsoft.Zing.TypeSystem

상속: System.Compiler.TypeSystem

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
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

메소드 상세

ExplicitLiteralCoercion() 공개 메소드

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
리턴	System.Compiler.Expression

GetTypeName() 공개 메소드

public GetTypeName ( System.Compiler.TypeNode type ) : string
type	System.Compiler.TypeNode
리턴	string

ImplicitCoercion() 공개 메소드

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
리턴	System.Compiler.Expression

ImplicitCoercionFromTo() 공개 메소드

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
리턴	bool

ImplicitLiteralCoercion() 공개 메소드

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
리턴	System.Compiler.Literal

ImplicitLiteralCoercionFromTo() 공개 메소드

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
리턴	bool

IsVoid() 공개 메소드

public IsVoid ( System.Compiler.TypeNode type ) : bool
type	System.Compiler.TypeNode
리턴	bool