s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Added -css switch to prism2html to allow override of style file location. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2829 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
0ef5412cda
commit
4e2df081a9
1 changed files with 46 additions and 18 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 64
      prism/src/parser/PrismSyntaxHighlighter.java

64
prism/src/parser/PrismSyntaxHighlighter.java
View File

@ -123,19 +123,19 @@ public class PrismSyntaxHighlighter
return resStringBuffer.toString(); return resStringBuffer.toString();
} }
public static String fileToHtml(File file, boolean hf) throws FileNotFoundException, PrismLangException
public static String fileToHtml(File file, boolean hf, String cssLoc) throws FileNotFoundException, PrismLangException
{ {
resStringBuffer = new StringBuffer(); resStringBuffer = new StringBuffer();
if (hf) resStringBuffer.append(htmlFileHeader(file.getName()));
if (hf) resStringBuffer.append(htmlFileHeader(file.getName(), cssLoc));
highlight(new FileInputStream(file), HTML); highlight(new FileInputStream(file), HTML);
if (hf) resStringBuffer.append(htmlFileFooter()); if (hf) resStringBuffer.append(htmlFileFooter());
return resStringBuffer.toString(); return resStringBuffer.toString();
} }
public static String fileToHtml(InputStream stream, boolean hf) throws PrismLangException
public static String fileToHtml(InputStream stream, boolean hf, String cssLoc) throws PrismLangException
{ {
resStringBuffer = new StringBuffer(); resStringBuffer = new StringBuffer();
if (hf) resStringBuffer.append(htmlFileHeader("PRISM Code"));
if (hf) resStringBuffer.append(htmlFileHeader("PRISM Code", cssLoc));
highlight(stream, HTML); highlight(stream, HTML);
if (hf) resStringBuffer.append(htmlFileFooter()); if (hf) resStringBuffer.append(htmlFileFooter());
return resStringBuffer.toString(); return resStringBuffer.toString();
@ -173,7 +173,7 @@ public class PrismSyntaxHighlighter
// generate file headers/footers // generate file headers/footers
private static String htmlFileHeader(String title)
private static String htmlFileHeader(String title, String cssLoc)
{ {
String s = ""; String s = "";
s += "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\"\n"; s += "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\"\n";
@ -186,7 +186,7 @@ public class PrismSyntaxHighlighter
s += "</title>" + "\n"; s += "</title>" + "\n";
s += "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=iso-8859-1\">" + "\n"; s += "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=iso-8859-1\">" + "\n";
s += "<!-- Style sheet \"prism.css\" can be found in the \"etc\" directory of the PRISM distribution -->" + "\n"; s += "<!-- Style sheet \"prism.css\" can be found in the \"etc\" directory of the PRISM distribution -->" + "\n";
s += "<link type=\"text/css\" rel=\"stylesheet\" href=\"prism.css\">" + "\n";
s += "<link type=\"text/css\" rel=\"stylesheet\" href=\"" + cssLoc + "\">" + "\n";
s += "</head>" + "\n"; s += "</head>" + "\n";
s += "<body text=\"#000000\" bgcolor=\"#ffffff\">" + "\n"; s += "<body text=\"#000000\" bgcolor=\"#ffffff\">" + "\n";
s += "<pre>" + "\n"; s += "<pre>" + "\n";
@ -495,26 +495,54 @@ public class PrismSyntaxHighlighter
public static void main(String args[]) public static void main(String args[])
{ {
if (args.length == 0) {
// Default setting
String cssLoc = "prism.css";
// Put arguments into a list, parsing any switches as we go
ArrayList<String> argsList = new ArrayList<String>();
int i = 0;
while (i < args.length) {
if (args[i].matches("-.*")) {
String sw = args[i].substring(1);
if (sw.equals("css")) {
if (args.length < i + 2) {
System.out.print("Error: Missing argument for switch " + args[i]);
System.exit(1);
}
cssLoc = args[i+1];
i += 2;
}
else {
System.out.print("Error: Unknown switch " + args[i]);
System.exit(1);
}
} else {
argsList.add(args[i]);
i++;
}
}
// Process non-switch arguments
if (argsList.size() == 0) {
System.out.println("Error: First argument must be output type"); System.out.println("Error: First argument must be output type");
System.exit(1); System.exit(1);
} }
try { try {
if (args[0].equals("echo")) {
if (args.length > 1) {
System.out.print(echoFile(new File(args[1])));
if (argsList.get(0).equals("echo")) {
if (argsList.size() > 1) {
System.out.print(echoFile(new File(argsList.get(1))));
} else { } else {
System.out.print(echoFile(System.in)); System.out.print(echoFile(System.in));
} }
} else if (args[0].equals("html")) {
if (args.length > 1) {
System.out.print(fileToHtml(new File(args[1]), true));
} else if (argsList.get(0).equals("html")) {
if (argsList.size() > 1) {
System.out.print(fileToHtml(new File(argsList.get(1)), true, cssLoc));
} else { } else {
System.out.print(fileToHtml(System.in, false));
System.out.print(fileToHtml(System.in, false, cssLoc));
} }
} else if (args[0].equals("latex")) {
if (args.length > 1) {
System.out.print(fileToLatex(new File(args[1]), true));
} else if (argsList.get(0).equals("latex")) {
if (argsList.size() > 1) {
System.out.print(fileToLatex(new File(argsList.get(1)), true));
} else { } else {
System.out.print(fileToLatex(System.in, false)); System.out.print(fileToLatex(System.in, false));
} }
@ -524,7 +552,7 @@ public class PrismSyntaxHighlighter
} }
} }
catch (FileNotFoundException e) { catch (FileNotFoundException e) {
System.out.println("Error: Could not load file \""+ args[1] + "\"");
System.out.println("Error: Could not load file \""+ argsList.get(1) + "\"");
System.exit(1); System.exit(1);
} }
catch (PrismLangException e) { catch (PrismLangException e) {

Write Preview
Loading…
Cancel
Save