C# 클래스 Microsoft.Zing.Checker

Walk IR checking for semantic errors and repairing it so that subsequent walks need not do error checking
상속: System.Compiler.Checker
파일 보기 프로젝트 열기: ZingModelChecker/Zing

Private Properties

프로퍼티 타입 설명
Checker System.Collections
HandleError void
PopSelectStatement void
PushSelectStatement void
SameVariable bool
VisitAccept AcceptStatement
VisitArray ZArray
VisitAssert AssertStatement
VisitAssume AssumeStatement
VisitAsync AsyncMethodCall
VisitAtomic System.Compiler.Block
VisitAttributedStatement AttributedStatement
VisitBinaryExpression System.Compiler.Expression
VisitChan Chan
VisitChoose System.Compiler.UnaryExpression
VisitEventPattern EventPattern
VisitEventStatement EventStatement
VisitInvokePlugin InvokePluginStatement
VisitInvokeSched InvokeSchedulerStatement
VisitJoinStatement JoinStatement
VisitRange Range
VisitReceivePattern ReceivePattern
VisitSelect Select
VisitSelf SelfExpression
VisitSend SendStatement
VisitSet Set
VisitTimeoutPattern TimeoutPattern
VisitTrace TraceStatement
VisitWaitPattern WaitPattern
VisitWith With
VisitYield YieldStatement
VisitZTry ZTry

공개 메소드들

메소드 설명
SerializeContracts ( System.Compiler.TypeNode type ) : void
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitAttributeConstructor ( System.Compiler.AttributeNode attribute, System.Compiler.Node target ) : System.Compiler.Expression
VisitAttributeList ( AttributeList attributes ) : AttributeList
VisitAttributeNode ( System.Compiler.AttributeNode attribute ) : System.Compiler.AttributeNode
VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
VisitThrow ( Throw Throw ) : Statement
VisitTypeReference ( TypeNode type ) : TypeNode
VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression

비공개 메소드들

메소드 설명
Checker ( ErrorHandler errorHandler, TypeSystem typeSystem, System.Compiler.TrivialHashtable scopeFor, System.Compiler.TrivialHashtable ambiguousTypes, System.Compiler.TrivialHashtable referencedLabels ) : System.Collections
HandleError ( System.Compiler.Node errorNode, Error error ) : void
PopSelectStatement ( ) : void
PushSelectStatement ( Select select ) : void
SameVariable ( System.Compiler.Expression expr1, System.Compiler.Expression expr2 ) : bool
VisitAccept ( AcceptStatement accept ) : AcceptStatement
VisitArray ( ZArray array ) : ZArray
VisitAssert ( AssertStatement assert ) : AssertStatement
VisitAssume ( AssumeStatement assume ) : AssumeStatement
VisitAsync ( AsyncMethodCall async ) : AsyncMethodCall
VisitAtomic ( AtomicBlock atomic ) : System.Compiler.Block
VisitAttributedStatement ( AttributedStatement attributedStmt ) : AttributedStatement
VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
VisitChan ( Chan chan ) : Chan
VisitChoose ( System.Compiler.UnaryExpression expr ) : System.Compiler.UnaryExpression
VisitEventPattern ( EventPattern ep ) : EventPattern
VisitEventStatement ( EventStatement Event ) : EventStatement
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
VisitInvokeSched ( InvokeSchedulerStatement InvokeShed ) : InvokeSchedulerStatement
VisitJoinStatement ( JoinStatement joinstmt ) : JoinStatement
VisitRange ( Range range ) : Range
VisitReceivePattern ( ReceivePattern rp ) : ReceivePattern
VisitSelect ( Select select ) : Select
VisitSelf ( SelfExpression self ) : SelfExpression
VisitSend ( SendStatement send ) : SendStatement
VisitSet ( Set @set ) : Set
VisitTimeoutPattern ( TimeoutPattern tp ) : TimeoutPattern
VisitTrace ( TraceStatement trace ) : TraceStatement
VisitWaitPattern ( WaitPattern wp ) : WaitPattern
VisitWith ( With with ) : With
VisitYield ( YieldStatement yield ) : YieldStatement
VisitZTry ( ZTry Try ) : ZTry

메소드 상세

SerializeContracts() 공개 메소드

public SerializeContracts ( System.Compiler.TypeNode type ) : void
type System.Compiler.TypeNode
리턴 void

Visit() 공개 메소드

public Visit ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
리턴 System.Compiler.Node

VisitAttributeConstructor() 공개 메소드

public VisitAttributeConstructor ( System.Compiler.AttributeNode attribute, System.Compiler.Node target ) : System.Compiler.Expression
attribute System.Compiler.AttributeNode
target System.Compiler.Node
리턴 System.Compiler.Expression

VisitAttributeList() 공개 메소드

public VisitAttributeList ( AttributeList attributes ) : AttributeList
attributes AttributeList
리턴 AttributeList

VisitAttributeNode() 공개 메소드

public VisitAttributeNode ( System.Compiler.AttributeNode attribute ) : System.Compiler.AttributeNode
attribute System.Compiler.AttributeNode
리턴 System.Compiler.AttributeNode

VisitConstruct() 공개 메소드

public VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
cons System.Compiler.Construct
리턴 System.Compiler.Expression

VisitExpressionStatement() 공개 메소드

public VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
statement System.Compiler.ExpressionStatement
리턴 System.Compiler.Statement

VisitForEach() 공개 메소드

public VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
forEach System.Compiler.ForEach
리턴 System.Compiler.Statement

VisitMethod() 공개 메소드

public VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
method System.Compiler.Method
리턴 System.Compiler.Method

VisitMethodCall() 공개 메소드

public VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
call System.Compiler.MethodCall
리턴 System.Compiler.Expression

VisitThrow() 공개 메소드

public VisitThrow ( Throw Throw ) : Statement
Throw Throw
리턴 Statement

VisitTypeReference() 공개 메소드

public VisitTypeReference ( TypeNode type ) : TypeNode
type TypeNode
리턴 TypeNode

VisitUnaryExpression() 공개 메소드

public VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression
unaryExpression UnaryExpression
리턴 Expression