CIVL 0.2 Revision 178

Downloads, Test and Coverage Reports, and Javadocs

Revision Information

Path: .
Working Copy Root Path: /Users/tester/work/civl/0.2/r178
URL: svn://vsl.cis.udel.edu/civl/tags/0.2
Repository Root: svn://vsl.cis.udel.edu/civl
Repository UUID: fb995dde-84ed-4084-dfe6-e5aef3e2452c
Revision: 178
Node Kind: directory
Schedule: normal
Last Changed Author: siegel
Last Changed Rev: 123
Last Changed Date: 2013-06-23 10:56:37 -0400 (Sun, 23 Jun 2013)

Build output

Stdout:

Buildfile: /Users/tester/work/civl/0.2/r178/build.xml

compile:
    [mkdir] Created dir: /Users/tester/work/civl/0.2/r178/bin
    [javac] Compiling 115 source files to /Users/tester/work/civl/0.2/r178/bin
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/CIVL.java:214: error: method setDebugOut in class DfsSearcher<STATE,TRANSITION,TRANSITIONSEQUENCE> cannot be applied to given types;
    [javac] 		searcher.setDebugOut(new PrintWriter(out));
    [javac] 		        ^
    [javac]   required: PrintStream
    [javac]   found: PrintWriter
    [javac]   reason: actual argument PrintWriter cannot be converted to PrintStream by method invocation conversion
    [javac]   where STATE,TRANSITION,TRANSITIONSEQUENCE are type-variables:
    [javac]     STATE extends Object declared in class DfsSearcher
    [javac]     TRANSITION extends Object declared in class DfsSearcher
    [javac]     TRANSITIONSEQUENCE extends Object declared in class DfsSearcher
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:31: error: Enabler is not abstract and does not override abstract method printFirstTransition(PrintStream,TransitionSequence) in EnablerIF
    [javac] public class Enabler implements
    [javac]        ^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:230: error: getDebugOut() in Enabler cannot implement getDebugOut() in EnablerIF
    [javac] 	public PrintWriter getDebugOut() {
    [javac] 	                   ^
    [javac]   return type PrintWriter is not compatible with PrintStream
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:229: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:249: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:255: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:261: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:267: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:23: error: StateManager is not abstract and does not override abstract method printAllStatesLong(PrintStream) in StateManagerIF
    [javac] public class StateManager implements StateManagerIF<State, Transition> {
    [javac]        ^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:81: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:87: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:93: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:99: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:104: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/kripke/StateManager.java:110: error: method does not override or implement a method from a supertype
    [javac] 	@Override
    [javac] 	^
    [javac] /Users/tester/work/civl/0.2/r178/src/edu/udel/cis/vsl/civl/model/common/CommonModelBuilder.java:408: error: cannot find symbol
    [javac] 		} else if (typeNode.kind() == TypeNodeKind.PROCESS) {
    [javac] 		                                          ^
    [javac]   symbol:   variable PROCESS
    [javac]   location: class TypeNodeKind
    [javac] 16 errors

Stderr:


BUILD FAILED
/Users/tester/work/civl/0.2/r178/build.xml:49: Compile failed; see the compiler error output for details.

Total time: 2 seconds