C# 클래스 Microsoft.Zing.Application.EnumChan

상속: Microsoft.Zing.ZingChan
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드 설명
Clone ( ) : object
EnumChan ( ) : System
EnumChan ( Application app ) : System
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void

비공개 메소드들

메소드 설명
EnumChan ( EnumChan c ) : System

메소드 상세

Clone() 공개 메소드

public Clone ( ) : object
리턴 object

EnumChan() 공개 메소드

public EnumChan ( ) : System
리턴 System

EnumChan() 공개 메소드

public EnumChan ( Application app ) : System
app Application
리턴 System

TraverseFields() 공개 메소드

public TraverseFields ( FieldTraverser ft ) : void
ft FieldTraverser
리턴 void

WriteString() 공개 메소드

public WriteString ( StateImpl state, BinaryWriter bw ) : void
state StateImpl
bw System.IO.BinaryWriter
리턴 void