C# Class DataDictionary.EfsSystem.RequirementSetMarker

Marks the requirements for a specific requirement set

Inheritance: DataDictionary.Generated.Visitor

Mostrar archivo Open project: ERTMSSolutions/ERTMSFormalSpecs

Private Properties

Property	Type	Description
MarkBelongingParagraph	bool

Public Methods

Method	Description
RequirementSetMarker ( DataDictionary.Specification.RequirementSet requirementSet, bool belonging, bool notImplemented ) : System.Collections	Constructor
visit ( Generated obj, bool visitSubNodes ) : void

Private Methods

Method	Description
MarkBelongingParagraph ( Paragraph paragraph, bool recursively ) : bool	Marks the paragraph

Method Details

RequirementSetMarker() public method

Constructor

public RequirementSetMarker ( DataDictionary.Specification.RequirementSet requirementSet, bool belonging, bool notImplemented ) : System.Collections
requirementSet	DataDictionary.Specification.RequirementSet
belonging	bool	/// Indicates whether the paragraph should belong to the requirement set ///
notImplemented	bool	Indicates that the the elements that should be marked are the not implemented ones
return	System.Collections

visit() public method

public visit ( Generated obj, bool visitSubNodes ) : void
obj	Generated
visitSubNodes	bool
return	void