C# Class Attributes.SourceContextAttribute

Inheritance: ZingAttribute
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
SourceContextAttribute ( string file, int startLine, int endLine )

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

Method Details

SourceContextAttribute() public méthode

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 méthode

public ToString ( ) : string
Résultat string

ToXml() public méthode

public ToXml ( XmlElement parent ) : void
parent XmlElement
Résultat void