Class SourceDocument

Represents a document containing Dassie source code.

public class SourceDocument

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

Creates a new instance of the SourceDocument type.

public SourceDocument(string text, string symbolicName)

The actual source code.

public string SourceText { get; }

The name associated with the document, displayed in error messages.

public string SymbolicName { get; }