DataDictionary.Generated.SourceText.insertComments C# (CSharp) Method

SourceText Class Documentation ファイルを表示 Open project: ERTMSSolutions/ERTMSFormalSpecs

insertComments() public method

Part of the list interface for Comments This insertion function inserts a new element in the collection in Comments

public insertComments ( int idx, SourceTextComment el ) : void
idx	int	the index where the insertion must take place
el	SourceTextComment	the element to insert
return	void

        public void insertComments(int idx, SourceTextComment el)
        {
            __setDirty(true);
              allComments().Insert (idx, el);
            NotifyControllers(null);
        }