added setter for SrcFileString

SRI-CSL · Jan 25, 2018 · ef0568a · ef0568a
1 parent dbd3c65
commit ef0568a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main/java/bixie/Options.java b/src/main/java/bixie/Options.java
@@ -70,6 +70,11 @@ public String getJSONDir() {
 	@Option(name = "-src", usage = "List of all source files separated by colon, or list of root folders.")
 	private String srcFilesString=null;
 	private Set<String> sourceFiles = null;
+	public void setSrcFileString(String s) {
+		srcFilesString = s;
+		sourceFiles = null;
+		getSrcFilesString();
+	}
 	public Set<String> getSrcFilesString() {
 		if (srcFilesString!=null && sourceFiles==null) {
 			String[] files = srcFilesString.split(File.pathSeparator);