C# Class Microsoft.Zing.ZingDecompiler

Inheritance: System.Compiler.StandardVisitor

ファイルを表示 Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

Property	Type	Description
GetAssignmentOperator	string
GetBinaryOperator	string
GetFieldQualifiers	string
GetMethodQualifiers	string
GetParameterDirection	string
GetUnaryOperator	string
In	void
Out	void
TranslateTypeName	string
Visit	System.Compiler.Node
VisitAccept	AcceptStatement
VisitArray	ZArray
VisitAssert	AssertStatement
VisitAssume	AssumeStatement
VisitAsync	AsyncMethodCall
VisitAtomic	AtomicBlock
VisitAttributedStatement	AttributedStatement
VisitChan	Chan
VisitChoose	System.Compiler.UnaryExpression
VisitEventPattern	EventPattern
VisitEventStatement	EventStatement
VisitIn	System.Compiler.BinaryExpression
VisitInvokePlugin	InvokePluginStatement
VisitInvokeSched	InvokeSchedulerStatement
VisitJoinStatement	JoinStatement
VisitMemberList	MemberList
VisitParenthesizedExpression	System.Compiler.Expression
VisitRange	Range
VisitReceivePattern	ReceivePattern
VisitSelect	Select
VisitSend	SendStatement
VisitSet	Set
VisitTimeoutPattern	TimeoutPattern
VisitTrace	TraceStatement
VisitTypeExpression	TypeExpression
VisitTypeNodeList	TypeNodeList
VisitWaitPattern	WaitPattern
VisitWith	With
VisitZTry	ZTry
Write	void
WriteFinish	void
WriteLine	void
WriteStart	void

Public Methods

Method	Description
Decompile ( System.Compiler.Node node, TextWriter tw ) : void
VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
VisitAttributeConstructor ( System.Compiler.AttributeNode attribute ) : System.Compiler.Expression
VisitAttributeList ( AttributeList attributes ) : AttributeList
VisitAttributeNode ( System.Compiler.AttributeNode attribute ) : System.Compiler.AttributeNode
VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
VisitBlock ( System.Compiler.Block block ) : System.Compiler.Block
VisitClass ( System.Compiler.Class Class ) : System.Compiler.Class
VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
VisitEnumNode ( System.Compiler.EnumNode enumNode ) : System.Compiler.EnumNode
VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
VisitExpressionList ( ExpressionList list ) : ExpressionList
VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
VisitField ( System.Compiler.Field field ) : System.Compiler.Field
VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
VisitIdentifier ( System.Compiler.Identifier identifier ) : System.Compiler.Expression
VisitIf ( System.Compiler.If If ) : System.Compiler.Statement
VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
VisitLabeledStatement ( System.Compiler.LabeledStatement lStatement ) : System.Compiler.Statement
VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
VisitMemberBinding ( System.Compiler.MemberBinding memberBinding ) : System.Compiler.Expression
VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
VisitNamespace ( System.Compiler.Namespace nspace ) : System.Compiler.Namespace
VisitParameter ( System.Compiler.Parameter parameter ) : System.Compiler.Expression
VisitParameterList ( ParameterList parameterList ) : ParameterList
VisitQualifiedIdentifier ( System.Compiler.QualifiedIdentifier qualifiedIdentifier ) : System.Compiler.Expression
VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
VisitStatementList ( StatementList statements ) : StatementList
VisitStruct ( Struct Struct ) : Struct
VisitThis ( This This ) : Expression
VisitThrow ( Throw Throw ) : Statement
VisitTypeReference ( TypeNode type ) : TypeNode
VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression
VisitVariableDeclaration ( VariableDeclaration variableDeclaration ) : Statement
VisitWhile ( While While ) : Statement
ZingDecompiler ( CodeGeneratorOptions options ) : System

Private Methods

Method	Description
GetAssignmentOperator ( NodeType op ) : string
GetBinaryOperator ( NodeType nodeType ) : string
GetFieldQualifiers ( System.Compiler.Field field ) : string
GetMethodQualifiers ( System.Compiler.Method method ) : string
GetParameterDirection ( ParameterFlags flags ) : string
GetUnaryOperator ( NodeType nodeType, bool &isFunctionStyle ) : string
In ( ) : void
Out ( ) : void
TranslateTypeName ( string typeName ) : string
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitAccept ( AcceptStatement accept ) : AcceptStatement
VisitArray ( ZArray array ) : ZArray
VisitAssert ( AssertStatement assert ) : AssertStatement
VisitAssume ( AssumeStatement assume ) : AssumeStatement
VisitAsync ( AsyncMethodCall async ) : AsyncMethodCall
VisitAtomic ( AtomicBlock atomic ) : AtomicBlock
VisitAttributedStatement ( AttributedStatement attributedStmt ) : AttributedStatement
VisitChan ( Chan chan ) : Chan
VisitChoose ( System.Compiler.UnaryExpression expr ) : System.Compiler.UnaryExpression
VisitEventPattern ( EventPattern ep ) : EventPattern
VisitEventStatement ( EventStatement Event ) : EventStatement
VisitIn ( System.Compiler.BinaryExpression expr ) : System.Compiler.BinaryExpression
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
VisitInvokeSched ( InvokeSchedulerStatement InvokeSched ) : InvokeSchedulerStatement
VisitJoinStatement ( JoinStatement joinstmt ) : JoinStatement
VisitMemberList ( MemberList members ) : MemberList
VisitParenthesizedExpression ( System.Compiler.Expression expr ) : System.Compiler.Expression	This method is called in contexts where surrounding parentheses are required, but we wish to avoid extraneous ones. If the expression is a BinaryExpression or UnaryExpression, then we need not supply our own parens here.
VisitRange ( Range range ) : Range
VisitReceivePattern ( ReceivePattern rp ) : ReceivePattern
VisitSelect ( Select select ) : Select
VisitSend ( SendStatement send ) : SendStatement
VisitSet ( Set @set ) : Set
VisitTimeoutPattern ( TimeoutPattern tp ) : TimeoutPattern
VisitTrace ( TraceStatement trace ) : TraceStatement
VisitTypeExpression ( TypeExpression tExpr ) : TypeExpression
VisitTypeNodeList ( TypeNodeList types ) : TypeNodeList
VisitWaitPattern ( WaitPattern wp ) : WaitPattern
VisitWith ( With with ) : With
VisitZTry ( ZTry Try ) : ZTry
Write ( string format ) : void
WriteFinish ( string format ) : void
WriteLine ( string format ) : void
WriteStart ( string format ) : void

Method Details

Decompile() public method

public Decompile ( System.Compiler.Node node, TextWriter tw ) : void
node	System.Compiler.Node
tw	System.IO.TextWriter
return	void

VisitAssignmentExpression() public method

public VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
assignment	System.Compiler.AssignmentExpression
return	System.Compiler.Expression

VisitAssignmentStatement() public method

public VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
assignment	System.Compiler.AssignmentStatement
return	System.Compiler.Statement

VisitAttributeConstructor() public method

public VisitAttributeConstructor ( System.Compiler.AttributeNode attribute ) : System.Compiler.Expression
attribute	System.Compiler.AttributeNode
return	System.Compiler.Expression

VisitAttributeList() public method

public VisitAttributeList ( AttributeList attributes ) : AttributeList
attributes	AttributeList
return	AttributeList

VisitAttributeNode() public method

public VisitAttributeNode ( System.Compiler.AttributeNode attribute ) : System.Compiler.AttributeNode
attribute	System.Compiler.AttributeNode
return	System.Compiler.AttributeNode

VisitBinaryExpression() public method

public VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
binaryExpression	System.Compiler.BinaryExpression
return	System.Compiler.Expression

VisitBlock() public method

public VisitBlock ( System.Compiler.Block block ) : System.Compiler.Block
block	System.Compiler.Block
return	System.Compiler.Block

VisitClass() public method

public VisitClass ( System.Compiler.Class Class ) : System.Compiler.Class
Class	System.Compiler.Class
return	System.Compiler.Class

VisitConstruct() public method

public VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
cons	System.Compiler.Construct
return	System.Compiler.Expression

VisitEnumNode() public method

public VisitEnumNode ( System.Compiler.EnumNode enumNode ) : System.Compiler.EnumNode
enumNode	System.Compiler.EnumNode
return	System.Compiler.EnumNode

VisitExpression() public method

public VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
expression	System.Compiler.Expression
return	System.Compiler.Expression

VisitExpressionList() public method

public VisitExpressionList ( ExpressionList list ) : ExpressionList
list	ExpressionList
return	ExpressionList

VisitExpressionStatement() public method

public VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
statement	System.Compiler.ExpressionStatement
return	System.Compiler.Statement

VisitField() public method

public VisitField ( System.Compiler.Field field ) : System.Compiler.Field
field	System.Compiler.Field
return	System.Compiler.Field

VisitForEach() public method

public VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
forEach	System.Compiler.ForEach
return	System.Compiler.Statement

VisitGoto() public method

public VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
Goto	System.Compiler.Goto
return	System.Compiler.Statement

VisitIdentifier() public method

public VisitIdentifier ( System.Compiler.Identifier identifier ) : System.Compiler.Expression
identifier	System.Compiler.Identifier
return	System.Compiler.Expression

VisitIf() public method

public VisitIf ( System.Compiler.If If ) : System.Compiler.Statement
If	System.Compiler.If
return	System.Compiler.Statement

VisitIndexer() public method

public VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
indexer	System.Compiler.Indexer
return	System.Compiler.Expression

VisitLabeledStatement() public method

public VisitLabeledStatement ( System.Compiler.LabeledStatement lStatement ) : System.Compiler.Statement
lStatement	System.Compiler.LabeledStatement
return	System.Compiler.Statement

VisitLiteral() public method

public VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
literal	System.Compiler.Literal
return	System.Compiler.Expression

VisitMemberBinding() public method

public VisitMemberBinding ( System.Compiler.MemberBinding memberBinding ) : System.Compiler.Expression
memberBinding	System.Compiler.MemberBinding
return	System.Compiler.Expression

VisitMethod() public method

public VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
method	System.Compiler.Method
return	System.Compiler.Method

VisitMethodCall() public method

public VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
call	System.Compiler.MethodCall
return	System.Compiler.Expression

VisitNamespace() public method

public VisitNamespace ( System.Compiler.Namespace nspace ) : System.Compiler.Namespace
nspace	System.Compiler.Namespace
return	System.Compiler.Namespace

VisitParameter() public method

public VisitParameter ( System.Compiler.Parameter parameter ) : System.Compiler.Expression
parameter	System.Compiler.Parameter
return	System.Compiler.Expression

VisitParameterList() public method

public VisitParameterList ( ParameterList parameterList ) : ParameterList
parameterList	ParameterList
return	ParameterList

VisitQualifiedIdentifier() public method

public VisitQualifiedIdentifier ( System.Compiler.QualifiedIdentifier qualifiedIdentifier ) : System.Compiler.Expression
qualifiedIdentifier	System.Compiler.QualifiedIdentifier
return	System.Compiler.Expression

VisitReturn() public method

public VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
Return	System.Compiler.Return
return	System.Compiler.Statement

VisitStatementList() public method

public VisitStatementList ( StatementList statements ) : StatementList
statements	StatementList
return	StatementList

VisitStruct() public method

public VisitStruct ( Struct Struct ) : Struct
Struct	Struct
return	Struct

VisitThis() public method

public VisitThis ( This This ) : Expression
This	This
return	Expression

VisitThrow() public method

public VisitThrow ( Throw Throw ) : Statement
Throw	Throw
return	Statement

VisitTypeReference() public method

public VisitTypeReference ( TypeNode type ) : TypeNode
type	TypeNode
return	TypeNode

VisitUnaryExpression() public method

public VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression
unaryExpression	UnaryExpression
return	Expression

VisitVariableDeclaration() public method

public VisitVariableDeclaration ( VariableDeclaration variableDeclaration ) : Statement
variableDeclaration	VariableDeclaration
return	Statement

VisitWhile() public method

public VisitWhile ( While While ) : Statement
While	While
return	Statement

ZingDecompiler() public method

public ZingDecompiler ( CodeGeneratorOptions options ) : System
options	CodeGeneratorOptions
return	System