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