C# 클래스 Microsoft.Zing.ZingDecompiler

상속: System.Compiler.StandardVisitor

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

Private Properties

프로퍼티	타입	설명
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

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
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

메소드 상세

Decompile() 공개 메소드

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

VisitAssignmentExpression() 공개 메소드

public VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
assignment	System.Compiler.AssignmentExpression
리턴	System.Compiler.Expression

VisitAssignmentStatement() 공개 메소드

public VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
assignment	System.Compiler.AssignmentStatement
리턴	System.Compiler.Statement

VisitAttributeConstructor() 공개 메소드

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

VisitBinaryExpression() 공개 메소드

public VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
binaryExpression	System.Compiler.BinaryExpression
리턴	System.Compiler.Expression

VisitBlock() 공개 메소드

public VisitBlock ( System.Compiler.Block block ) : System.Compiler.Block
block	System.Compiler.Block
리턴	System.Compiler.Block

VisitClass() 공개 메소드

public VisitClass ( System.Compiler.Class Class ) : System.Compiler.Class
Class	System.Compiler.Class
리턴	System.Compiler.Class

VisitConstruct() 공개 메소드

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

VisitEnumNode() 공개 메소드

public VisitEnumNode ( System.Compiler.EnumNode enumNode ) : System.Compiler.EnumNode
enumNode	System.Compiler.EnumNode
리턴	System.Compiler.EnumNode

VisitExpression() 공개 메소드

public VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
expression	System.Compiler.Expression
리턴	System.Compiler.Expression

VisitExpressionList() 공개 메소드

public VisitExpressionList ( ExpressionList list ) : ExpressionList
list	ExpressionList
리턴	ExpressionList

VisitExpressionStatement() 공개 메소드

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

VisitField() 공개 메소드

public VisitField ( System.Compiler.Field field ) : System.Compiler.Field
field	System.Compiler.Field
리턴	System.Compiler.Field

VisitForEach() 공개 메소드

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

VisitGoto() 공개 메소드

public VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
Goto	System.Compiler.Goto
리턴	System.Compiler.Statement

VisitIdentifier() 공개 메소드

public VisitIdentifier ( System.Compiler.Identifier identifier ) : System.Compiler.Expression
identifier	System.Compiler.Identifier
리턴	System.Compiler.Expression

VisitIf() 공개 메소드

public VisitIf ( System.Compiler.If If ) : System.Compiler.Statement
If	System.Compiler.If
리턴	System.Compiler.Statement

VisitIndexer() 공개 메소드

public VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
indexer	System.Compiler.Indexer
리턴	System.Compiler.Expression

VisitLabeledStatement() 공개 메소드

public VisitLabeledStatement ( System.Compiler.LabeledStatement lStatement ) : System.Compiler.Statement
lStatement	System.Compiler.LabeledStatement
리턴	System.Compiler.Statement

VisitLiteral() 공개 메소드

public VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
literal	System.Compiler.Literal
리턴	System.Compiler.Expression

VisitMemberBinding() 공개 메소드

public VisitMemberBinding ( System.Compiler.MemberBinding memberBinding ) : System.Compiler.Expression
memberBinding	System.Compiler.MemberBinding
리턴	System.Compiler.Expression

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

VisitNamespace() 공개 메소드

public VisitNamespace ( System.Compiler.Namespace nspace ) : System.Compiler.Namespace
nspace	System.Compiler.Namespace
리턴	System.Compiler.Namespace

VisitParameter() 공개 메소드

public VisitParameter ( System.Compiler.Parameter parameter ) : System.Compiler.Expression
parameter	System.Compiler.Parameter
리턴	System.Compiler.Expression

VisitParameterList() 공개 메소드

public VisitParameterList ( ParameterList parameterList ) : ParameterList
parameterList	ParameterList
리턴	ParameterList

VisitQualifiedIdentifier() 공개 메소드

public VisitQualifiedIdentifier ( System.Compiler.QualifiedIdentifier qualifiedIdentifier ) : System.Compiler.Expression
qualifiedIdentifier	System.Compiler.QualifiedIdentifier
리턴	System.Compiler.Expression

VisitReturn() 공개 메소드

public VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
Return	System.Compiler.Return
리턴	System.Compiler.Statement

VisitStatementList() 공개 메소드

public VisitStatementList ( StatementList statements ) : StatementList
statements	StatementList
리턴	StatementList

VisitStruct() 공개 메소드

public VisitStruct ( Struct Struct ) : Struct
Struct	Struct
리턴	Struct

VisitThis() 공개 메소드

public VisitThis ( This This ) : Expression
This	This
리턴	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

VisitVariableDeclaration() 공개 메소드

public VisitVariableDeclaration ( VariableDeclaration variableDeclaration ) : Statement
variableDeclaration	VariableDeclaration
리턴	Statement

VisitWhile() 공개 메소드

public VisitWhile ( While While ) : Statement
While	While
리턴	Statement

ZingDecompiler() 공개 메소드

public ZingDecompiler ( CodeGeneratorOptions options ) : System
options	CodeGeneratorOptions
리턴	System