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

Verbosity level in PrismLog. Untested yet. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4056 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Vojtech Forejt 14 years ago
parent
cd1b3dcfed
commit
8f89f4e4b1
2 changed files with 209 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      prism/src/prism/Prism.java
  2. 208
      prism/src/prism/PrismLog.java

2
prism/src/prism/Prism.java
View File

@ -780,6 +780,8 @@ public class Prism implements PrismSettingsListener
*/
public void initialise() throws PrismException
{
boolean verbose = this.getSettings().getBoolean("PRISM_VERBOSE");
mainLog.setVerbosityLevel(verbose ? PrismLog.VL_ALL : PrismLog.VL_DEFAULT);
mainLog.print("PRISM\n=====\n");
mainLog.print("\nVersion: " + getVersion() + "\n");
mainLog.print("Date: " + new java.util.Date() + "\n");

208
prism/src/prism/PrismLog.java
View File

@ -27,7 +27,42 @@
package prism;
public abstract class PrismLog
{
{
/**
* Specifies that only more important messages should be printed
*/
public static final int VL_DEFAULT = 0;
/**
* Specifies that the output should be more verbose
*/
public static final int VL_HIGH = 1;
/**
* Specifies that all messages should be printed
*/
public static final int VL_ALL = 2;
protected int verbosityLevel = VL_DEFAULT;
/**
* Returns the verbosity level of this log. The verbosity level
* determines what messages will be printed.
* @return
*/
public int getVerbosityLevel()
{
return verbosityLevel;
}
/**
* Changes the verbosity level of this log. The verbosity level
* determines what messages will be printed.
* @param verbosityLevel Should be one of {@link #VL_DEFAULT}, {@link #VL_HIGH} and {@link #VL_ALL}.
*/
public void setVerbosityLevel(int verbosityLevel)
{
this.verbosityLevel = verbosityLevel;
}
public abstract boolean ready();
public abstract long getFilePointer();
public abstract void flush();
@ -43,6 +78,87 @@ public abstract class PrismLog
public abstract void print(String s);
public abstract void println();
/**
* Prints out the value of {@code b} if the log's verbosity level is at least {@code level}
*/
public void print(boolean b, int level)
{
if (level >= this.verbosityLevel)
print(b);
}
/**
* Prints out the value of {@code c} if the log's verbosity level is at least {@code level}
*/
public void print(char c, int level)
{
if (level >= this.verbosityLevel)
print(c);
}
/**
* Prints out the value of {@code d} if the log's verbosity level is at least {@code level}
*/
public void print(double d, int level)
{
if (level >= this.verbosityLevel)
print(d);
}
/**
* Prints out the value of {@code f} if the log's verbosity level is at least {@code level}
*/
public void print(float f, int level)
{
if (level >= this.verbosityLevel)
print(f);
}
/**
* Prints out the value of {@code i} if the log's verbosity level is at least {@code level}
*/
public void print(int i, int level)
{
if (level >= this.verbosityLevel)
print(i);
}
/**
* Prints out the value of {@code l} if the log's verbosity level is at least {@code level}
*/
public void print(long l, int level)
{
if (level >= this.verbosityLevel)
print(l);
}
/**
* Prints out the value of {@code obj} if the log's verbosity level is at least {@code level}
*/
public void print(Object obj, int level)
{
if (level >= this.verbosityLevel)
print(obj);
}
/**
* Prints out {@code s} if the log's verbosity level is at least {@code level}
*/
public void print(String s, int level)
{
if (level >= this.verbosityLevel)
print(s);
}
/**
* Prints out the content of {@code arr} if the log's verbosity level is at least {@code level}
*/
public void print(double[] arr, int level)
{
if (level >= this.verbosityLevel)
print(arr);
}
public void print(double arr[])
{
int i, n = arr.length;
@ -124,6 +240,96 @@ public abstract class PrismLog
print(arr);
println();
}
/**
* Prints out the value of {@code b} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(boolean b, int level)
{
if (level >= this.verbosityLevel)
println(b);
}
/**
* Prints out the value of {@code c} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(char c, int level)
{
if (level >= this.verbosityLevel)
println(c);
}
/**
* Prints out the value of {@code d} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(double d, int level)
{
if (level >= this.verbosityLevel)
println(d);
}
/**
* Prints out the value of {@code f} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(float f, int level)
{
if (level >= this.verbosityLevel)
println(f);
}
/**
* Prints out the value of {@code i} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(int i, int level)
{
if (level >= this.verbosityLevel)
println(i);
}
/**
* Prints out the value of {@code l} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(long l, int level)
{
if (level >= this.verbosityLevel)
println(l);
}
/**
* Prints out the value of {@code o} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(Object o, int level)
{
if (level >= this.verbosityLevel)
println(o);
}
/**
* Prints out {@code s} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(String s, int level)
{
if (level >= this.verbosityLevel)
println(s);
}
/**
* Prints out the content of {@code arr} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(double arr[], int level)
{
if (level >= this.verbosityLevel)
println(arr);
}
/**
* Prints out the content of {@code arr} followed by a newline character, provided that the log's verbosity level is at least {@code level}
*/
public void println(int arr[], int level)
{
if (level >= this.verbosityLevel)
println(arr);
}
}
//------------------------------------------------------------------------------
Write Preview
Loading…
Cancel
Save