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

상속: Microsoft.Zing.ZingSet

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드	설명
Clone ( ) : object
EnumSet ( ) : System
EnumSet ( Application app ) : System
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void
this ( int index ) : _ElementType

비공개 메소드들

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

메소드 상세

Clone() 공개 메소드

public Clone ( ) : object
리턴	object

EnumSet() 공개 메소드

public EnumSet ( ) : System
리턴	System

EnumSet() 공개 메소드

public EnumSet ( 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

this() 공개 메소드

public this ( int index ) : _ElementType
index	int
리턴	_ElementType