C# Class Microsoft.Zing.ZingDecompiler

Inheritance: System.Compiler.StandardVisitor

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

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

Méthodes publiques

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

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

public Decompile ( System.Compiler.Node node, TextWriter tw ) : void
node	System.Compiler.Node
tw	System.IO.TextWriter
Résultat	void

VisitAssignmentExpression() public méthode

public VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
assignment	System.Compiler.AssignmentExpression
Résultat	System.Compiler.Expression

VisitAssignmentStatement() public méthode

public VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
assignment	System.Compiler.AssignmentStatement
Résultat	System.Compiler.Statement

VisitAttributeConstructor() public méthode

public VisitAttributeConstructor ( System.Compiler.AttributeNode attribute ) : System.Compiler.Expression
attribute	System.Compiler.AttributeNode
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

VisitBinaryExpression() public méthode

public VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
binaryExpression	System.Compiler.BinaryExpression
Résultat	System.Compiler.Expression

VisitBlock() public méthode

public VisitBlock ( System.Compiler.Block block ) : System.Compiler.Block
block	System.Compiler.Block
Résultat	System.Compiler.Block

VisitClass() public méthode

public VisitClass ( System.Compiler.Class Class ) : System.Compiler.Class
Class	System.Compiler.Class
Résultat	System.Compiler.Class

VisitConstruct() public méthode

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

VisitEnumNode() public méthode

public VisitEnumNode ( System.Compiler.EnumNode enumNode ) : System.Compiler.EnumNode
enumNode	System.Compiler.EnumNode
Résultat	System.Compiler.EnumNode

VisitExpression() public méthode

public VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
expression	System.Compiler.Expression
Résultat	System.Compiler.Expression

VisitExpressionList() public méthode

public VisitExpressionList ( ExpressionList list ) : ExpressionList
list	ExpressionList
Résultat	ExpressionList

VisitExpressionStatement() public méthode

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

VisitField() public méthode

public VisitField ( System.Compiler.Field field ) : System.Compiler.Field
field	System.Compiler.Field
Résultat	System.Compiler.Field

VisitForEach() public méthode

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

VisitGoto() public méthode

public VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
Goto	System.Compiler.Goto
Résultat	System.Compiler.Statement

VisitIdentifier() public méthode

public VisitIdentifier ( System.Compiler.Identifier identifier ) : System.Compiler.Expression
identifier	System.Compiler.Identifier
Résultat	System.Compiler.Expression

VisitIf() public méthode

public VisitIf ( System.Compiler.If If ) : System.Compiler.Statement
If	System.Compiler.If
Résultat	System.Compiler.Statement

VisitIndexer() public méthode

public VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
indexer	System.Compiler.Indexer
Résultat	System.Compiler.Expression

VisitLabeledStatement() public méthode

public VisitLabeledStatement ( System.Compiler.LabeledStatement lStatement ) : System.Compiler.Statement
lStatement	System.Compiler.LabeledStatement
Résultat	System.Compiler.Statement

VisitLiteral() public méthode

public VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
literal	System.Compiler.Literal
Résultat	System.Compiler.Expression

VisitMemberBinding() public méthode

public VisitMemberBinding ( System.Compiler.MemberBinding memberBinding ) : System.Compiler.Expression
memberBinding	System.Compiler.MemberBinding
Résultat	System.Compiler.Expression

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

VisitNamespace() public méthode

public VisitNamespace ( System.Compiler.Namespace nspace ) : System.Compiler.Namespace
nspace	System.Compiler.Namespace
Résultat	System.Compiler.Namespace

VisitParameter() public méthode

public VisitParameter ( System.Compiler.Parameter parameter ) : System.Compiler.Expression
parameter	System.Compiler.Parameter
Résultat	System.Compiler.Expression

VisitParameterList() public méthode

public VisitParameterList ( ParameterList parameterList ) : ParameterList
parameterList	ParameterList
Résultat	ParameterList

VisitQualifiedIdentifier() public méthode

public VisitQualifiedIdentifier ( System.Compiler.QualifiedIdentifier qualifiedIdentifier ) : System.Compiler.Expression
qualifiedIdentifier	System.Compiler.QualifiedIdentifier
Résultat	System.Compiler.Expression

VisitReturn() public méthode

public VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
Return	System.Compiler.Return
Résultat	System.Compiler.Statement

VisitStatementList() public méthode

public VisitStatementList ( StatementList statements ) : StatementList
statements	StatementList
Résultat	StatementList

VisitStruct() public méthode

public VisitStruct ( Struct Struct ) : Struct
Struct	Struct
Résultat	Struct

VisitThis() public méthode

public VisitThis ( This This ) : Expression
This	This
Résultat	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

VisitVariableDeclaration() public méthode

public VisitVariableDeclaration ( VariableDeclaration variableDeclaration ) : Statement
variableDeclaration	VariableDeclaration
Résultat	Statement

VisitWhile() public méthode

public VisitWhile ( While While ) : Statement
While	While
Résultat	Statement

ZingDecompiler() public méthode

public ZingDecompiler ( CodeGeneratorOptions options ) : System
options	CodeGeneratorOptions
Résultat	System