C# 클래스 Attributes.SourceContextAttribute

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

공개 메소드들

메소드 설명
SourceContextAttribute ( string file, int startLine, int endLine )

Constructor for SourceContextAttribute
ToString ( ) : string
ToXml ( XmlElement parent ) : void

메소드 상세

SourceContextAttribute() 공개 메소드

Constructor for SourceContextAttribute
public SourceContextAttribute ( string file, int startLine, int endLine )
file string Pathname of the foreign source code file
startLine int Starting line of the foreign statement
endLine int Ending line of the foreign statement

ToString() 공개 메소드

public ToString ( ) : string
리턴 string

ToXml() 공개 메소드

public ToXml ( XmlElement parent ) : void
parent XmlElement
리턴 void