Package org.sosy_lab.common.io
Class PathTemplate
java.lang.Object
org.sosy_lab.common.io.PathTemplate
A template for paths, from which a real path can be constructed by passing some values to fill in
the blanks.
-
Method Summary
Modifier and TypeMethodDescriptionConstruct a concretePathfrom this template and the given values.Returns the raw template of this instance.static PathTemplateofFormatString(String pTemplate) Create a new instance.toString()
-
Method Details
-
ofFormatString
Create a new instance.- Parameters:
pTemplate- A non-null non-empty template String in the format forString.format(String, Object...).
-
getPath
Construct a concretePathfrom this template and the given values.- Throws:
IllegalFormatException- If the template is invalid, or the arguments does not match the template.
-
getTemplate
Returns the raw template of this instance. -
toString
-