Package edu.udel.cis.vsl.civl.model.IF
Interface CIVLSource
-
public interface CIVLSourceA CIVLSource object represents a range of text in a source file.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.StringgetAbsoluteFilePath()java.lang.StringgetContent()java.lang.StringgetFileName()java.lang.StringgetLocation()Returns location information only (not actual source text).java.lang.StringgetSummary(boolean isException)Returns summary of location and text.booleanisSystemSource()Checks if this source is some system source not from input program.voidprint(java.io.PrintStream out)Prints the source to print stream.java.lang.StringtoString()Returns a human-readable string representation of this range of source data.
-
-
-
Method Detail
-
toString
java.lang.String toString()
Returns a human-readable string representation of this range of source data.- Overrides:
toStringin classjava.lang.Object- Returns:
- user-friendly readable representation
-
print
void print(java.io.PrintStream out)
Prints the source to print stream.- Parameters:
out- a PrintStream
-
getLocation
java.lang.String getLocation()
Returns location information only (not actual source text). For example "foo.c:127.4-128.1".
-
getSummary
java.lang.String getSummary(boolean isException)
Returns summary of location and text.- Parameters:
isException- true iff want to print the detailed information for a thrown exception.- Returns:
-
isSystemSource
boolean isSystemSource()
Checks if this source is some system source not from input program.- Returns:
- true iff this source is some system source not from input program.
-
getFileName
java.lang.String getFileName()
-
getContent
java.lang.String getContent()
-
getAbsoluteFilePath
java.lang.String getAbsoluteFilePath()
-
-