Ejemplo n.º 1
0
        public override void Source(Placeholder placeholder, ILocation location, SourceMark mark)
        {
            if (location.Source == "-nowhere-")
            {
                return;
            }
            List <SourceLine> locations;

            if (!sourceLines.TryGetValue(location.Source, out locations))
            {
                locations = new List <SourceLine>();
                sourceLines.Add(location.Source, locations);
            }
            locations.Add(new SourceLine(placeholder, location, mark));
        }
Ejemplo n.º 2
0
        public override void Source(Placeholder placeholder, ILocation location, SourceMark mark)
        {
            Placeholder position = placeholder;

            Require.True(placeholder.Region.SectionNumber == 1);
            if (!visitedPositions.Contains(position))
            {
                visitedPositions.Add(position);
                if (!sourceLocations.ContainsKey(location.Source))
                {
                    sourceLocations.Add(location.Source, new Dictionary <int, Placeholder>());
                }
                Dictionary <int, Placeholder> lineToOffset = sourceLocations[location.Source];
                if (!lineToOffset.ContainsKey(location.Line))
                {
                    lineToOffset.Add(location.Line, position);
                }
            }
        }
Ejemplo n.º 3
0
 public Payload(QualifiedName name, IEnumerable <IValueToken> value, SourceMark sourceMark, bool ignoreMissingReferences = false)
     : base(name, sourceMark)
 {
     Value = value.ToList();
     IgnoreMissingReferences = ignoreMissingReferences;
 }
Ejemplo n.º 4
0
 public NamedProfileEntry(QualifiedName name, SourceMark sourceMark)
 {
     Name       = name;
     SourceMark = sourceMark;
 }
Ejemplo n.º 5
0
 public SchemeError(string error, SourceMark sourceMark)
 {
     Error      = error;
     SourceMark = sourceMark;
 }
Ejemplo n.º 6
0
 public abstract void Source(Placeholder placeholder, ILocation location, SourceMark mark);
Ejemplo n.º 7
0
 public SourceLine(Placeholder placeholder, ILocation location, SourceMark mark)
 {
     this.placeholder = placeholder;
     this.location    = location;
     this.mark        = mark;
 }
Ejemplo n.º 8
0
 public ProfileTreeError(NamePart name, string error, SourceMark sourceMark)
     : base(name)
 {
     Error      = error;
     SourceMark = sourceMark;
 }
Ejemplo n.º 9
0
 public ProfileError(QualifiedName name, string error, SourceMark sourceMark)
     : base(name, sourceMark)
 {
     Error = error;
 }