de.uni_bremen.st.rcf.model
Class SourcePositions

java.lang.Object
  de.uni_bremen.st.rcf.model.Relation<SourcePosition>
      de.uni_bremen.st.rcf.model.SourcePositions

All Implemented Interfaces:

Iterable<SourcePosition>

public class SourcePositions
extends Relation<SourcePosition>

The SourcePosition relation.

Author:

harder

Method Summary

SourcePosition	addSourcePosition(File file, int line, int column) Adds a new SourcePosition to the relation if an equal file does not exists and returns it.
Attribute	getColumnAttribute()
Attribute	getFileAttribute()
Attribute	getIdAttribute()
Attribute	getLineAttribute()
Attribute	getOffsetAttribute()

Methods inherited from class de.uni_bremen.st.rcf.model.Relation

addAttribute, addEnumAttribute, addListAttribute, addReferenceAttribute, addReferenceListAttribute, addScalarAttribute, append, equals, getAttribute, getAttributes, getEntry, getEntryType, getFirstEntry, getName, getRCF, hasAttribute, iterator, size

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getIdAttribute

public Attribute getIdAttribute()

getFileAttribute

public Attribute getFileAttribute()

getLineAttribute

public Attribute getLineAttribute()

getColumnAttribute

public Attribute getColumnAttribute()

getOffsetAttribute

public Attribute getOffsetAttribute()

addSourcePosition

public SourcePosition addSourcePosition(File file,
                                        int line,
                                        int column)

Adds a new SourcePosition to the relation if an equal file does not exists and returns it.

Parameters:

file - The file of the SourcePosition. Must not be null.

line - The line of the SourcePosition. Must be greater or equal 0.

column - The column of the SourcePosition. Must be greater or equal 0.

Returns:

The newly created SourcePosition or an equivalent, already existent one.