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