CIVL 0.2 Revision 176

Downloads, Test and Coverage Reports, and Javadocs

Revision Information

Path: .
Working Copy Root Path: /Users/tester/work/civl/0.2/r176
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: 176
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/r176/build.xml

compile:
    [mkdir] Created dir: /Users/tester/work/civl/0.2/r176/bin
    [javac] Compiling 115 source files to /Users/tester/work/civl/0.2/r176/bin
    [javac] /Users/tester/work/civl/0.2/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/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/r176/src/edu/udel/cis/vsl/civl/model/common/CommonModelBuilder.java:172: error: cannot access OrdinaryDeclarationNode
    [javac] 			if (node instanceof VariableDeclarationNode) {
    [javac] 			         ^
    [javac]   bad class file: /Users/tester/work/abc/trunk/latest/abc.jar(edu/udel/cis/vsl/abc/ast/node/IF/declaration/OrdinaryDeclarationNode.class)
    [javac]     unable to access file: corrupted zip file
    [javac]     Please remove or make sure it appears in the correct subdirectory of the classpath.
    [javac] 16 errors

Stderr:


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

Total time: 2 seconds