Class SourceFiles
- java.lang.Object
-
- ru.ispras.microtesk.tools.oracle.internal.SourceFiles
-
public class SourceFiles extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description java.lang.String
inputProgram
java.lang.String
inputTrace
-
Constructor Summary
Constructors Constructor Description SourceFiles(java.lang.String inputProgram, java.lang.String inputTrace)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static java.util.List<SourceFiles>
getAllComparedFiles(java.lang.String inputProgram, java.lang.String inputTrace)
static java.util.List<SourceFiles>
getComparedFilesGroup(java.lang.String program, java.lang.String trace, boolean all)
java.lang.String
getInputProgram()
java.lang.String
getInputTrace()
-
-
-
Method Detail
-
getInputProgram
public java.lang.String getInputProgram()
-
getInputTrace
public java.lang.String getInputTrace()
-
getComparedFilesGroup
public static java.util.List<SourceFiles> getComparedFilesGroup(java.lang.String program, java.lang.String trace, boolean all)
-
getAllComparedFiles
public static java.util.List<SourceFiles> getAllComparedFiles(java.lang.String inputProgram, java.lang.String inputTrace)
- Parameters:
inputProgram
- name of program for oracleinputTrace
- name of trace for oracle- Returns:
- the list of grouped input files
-
-