C# Class Microsoft.Zing.Checker

Walk IR checking for semantic errors and repairing it so that subsequent walks need not do error checking

Inheritance: System.Compiler.Checker

Afficher le fichier Open project: ZingModelChecker/Zing

Private Properties

Свойство	Type	Description
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

Méthodes publiques

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

Private Methods

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

Method Details

SerializeContracts() public méthode

public SerializeContracts ( System.Compiler.TypeNode type ) : void
type	System.Compiler.TypeNode
Résultat	void

Visit() public méthode

public Visit ( System.Compiler.Node node ) : System.Compiler.Node
node	System.Compiler.Node
Résultat	System.Compiler.Node

VisitAttributeConstructor() public méthode

public VisitAttributeConstructor ( System.Compiler.AttributeNode attribute, System.Compiler.Node target ) : System.Compiler.Expression
attribute	System.Compiler.AttributeNode
target	System.Compiler.Node
Résultat	System.Compiler.Expression

VisitAttributeList() public méthode

public VisitAttributeList ( AttributeList attributes ) : AttributeList
attributes	AttributeList
Résultat	AttributeList

VisitAttributeNode() public méthode

public VisitAttributeNode ( System.Compiler.AttributeNode attribute ) : System.Compiler.AttributeNode
attribute	System.Compiler.AttributeNode
Résultat	System.Compiler.AttributeNode

VisitConstruct() public méthode

public VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
cons	System.Compiler.Construct
Résultat	System.Compiler.Expression

VisitExpressionStatement() public méthode

public VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
statement	System.Compiler.ExpressionStatement
Résultat	System.Compiler.Statement

VisitForEach() public méthode

public VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
forEach	System.Compiler.ForEach
Résultat	System.Compiler.Statement

VisitMethod() public méthode

public VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
method	System.Compiler.Method
Résultat	System.Compiler.Method

VisitMethodCall() public méthode

public VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
call	System.Compiler.MethodCall
Résultat	System.Compiler.Expression

VisitThrow() public méthode

public VisitThrow ( Throw Throw ) : Statement
Throw	Throw
Résultat	Statement

VisitTypeReference() public méthode

public VisitTypeReference ( TypeNode type ) : TypeNode
type	TypeNode
Résultat	TypeNode

VisitUnaryExpression() public méthode

public VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression
unaryExpression	UnaryExpression
Résultat	Expression