C# Class Attributes.SourceContextAttribute

Inheritance: ZingAttribute
显示文件 Open project: ZingModelChecker/Zing

Public Methods

Method Description
SourceContextAttribute ( string file, int startLine, int endLine )

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

Method Details

SourceContextAttribute() public method

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 method

public ToString ( ) : string
return string

ToXml() public method

public ToXml ( XmlElement parent ) : void
parent XmlElement
return void