public class CommandLineArgs
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
CommandLineArgs.SolverType
Pipelined Scheduling Solvers : UNFOLDING_SOLVER -- PERIOD_LOCALITY
Non-Pipelined Scheduling Solvers : MATRIX_SOLVER -- MUTUAL_EXCLUSION
|
Modifier and Type | Field and Description |
---|---|
java.lang.String |
applicationGraphFileName
Application Graph file name
|
boolean |
bufferAnalysis
Perform buffer analysis
|
boolean |
bufferAnalysisWithFunctions
Use functions in SMT solving for Buffer Analysis
|
int |
clusterConstraint
Number of clusters to be used
|
boolean |
disablePrime
Disable Prime variables
|
java.lang.String |
ganttChartFileName
Output Gantt chart file name
|
boolean |
graphSymmetry
Add task symmetry constraints
|
java.lang.String |
hardwareLogFileName
Hardware execution log file
|
int |
latencyConstraint
A constraint on Latency
|
boolean |
leftEdge
Left Edge Analysis
|
double |
maxLatencyScalingFactor
Latency scaling factor
|
boolean |
minLatencyForPeriodExpl
Use minimum latency for period exploration
|
boolean |
mutualExclusionGraphAnalysis
Mutual Exclusion
|
boolean |
omegaAnalysis
Perform omega Analysis
|
java.lang.String |
outputDirectory
Output Directory
|
java.lang.String |
outputXmlFileName
Output XML file name
|
int |
periodConstraint
A constraint on Period
|
boolean |
periodSymmetry
Test Period Symmetry
|
java.lang.String |
platformGraphFileName
Platform graph file name
|
boolean |
printHsdf
Generate HSDF graph
|
int |
processorConstraint
Number of processors to be used
|
boolean |
processorSymmetry
Add processor symmetry constraints
|
java.lang.String |
profileXmlFileName
Profile XML file name
|
CommandLineArgs.SolverType |
solver
Solver to use for SMT Solving
|
boolean |
tetrisSymmetry
Use tetris symmetry
|
int |
timeOutPerQueryInSeconds
Time out per query in seconds
|
int |
totalTimeOutInSeconds
Global time out in seconds
|
boolean |
typeDifferentiateAlgo
Use type variables in SMT solving for pipelined scheduling
|
boolean |
useMaxFunction |
boolean |
useQuantifier
Use Quantifier in SMT solving
|
Constructor and Description |
---|
CommandLineArgs(java.lang.String[] args)
Initialize the command line parser object
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
extractNameFromPath(java.lang.String path)
The last field in the whole path contains the file name.
|
void |
parseArgs(java.lang.String[] args)
Parse the command line arguments
|
private CommandLineArgs.SolverType |
parseSolverType(java.lang.String argument)
Parse which solver to use.
|
void |
printConfig()
Print current state of all the arguments
|
void |
printHelp()
Print help for arguments
|
private boolean |
stringToBoolean(java.lang.String argument)
Check if an input is boolean true or false.
|
public double maxLatencyScalingFactor
public int timeOutPerQueryInSeconds
public int totalTimeOutInSeconds
public int clusterConstraint
public int processorConstraint
public int periodConstraint
public int latencyConstraint
public java.lang.String applicationGraphFileName
public java.lang.String platformGraphFileName
public java.lang.String outputDirectory
public java.lang.String hardwareLogFileName
public java.lang.String ganttChartFileName
public java.lang.String profileXmlFileName
public java.lang.String outputXmlFileName
public boolean omegaAnalysis
public boolean printHsdf
public boolean processorSymmetry
public boolean graphSymmetry
public boolean bufferAnalysis
public boolean bufferAnalysisWithFunctions
public boolean leftEdge
public boolean mutualExclusionGraphAnalysis
public boolean useQuantifier
public boolean useMaxFunction
public boolean typeDifferentiateAlgo
public boolean tetrisSymmetry
public boolean disablePrime
public boolean periodSymmetry
public boolean minLatencyForPeriodExpl
public CommandLineArgs.SolverType solver
public CommandLineArgs(java.lang.String[] args)
args
- command line argumentspublic java.lang.String extractNameFromPath(java.lang.String path)
path
- Whole path string including filenameprivate CommandLineArgs.SolverType parseSolverType(java.lang.String argument)
argument
- the solver to useprivate boolean stringToBoolean(java.lang.String argument)
argument
- String containing "True" or "False"public void printConfig()
public void printHelp()
public void parseArgs(java.lang.String[] args)
args
- array of command line arguments