Path: . Working Copy Root Path: /usa/svn/work/gmc/trunk/r366 URL: svn://vsl.cis.udel.edu/gmc/trunk Relative URL: ^/trunk Repository Root: svn://vsl.cis.udel.edu/gmc Repository UUID: 6e9fb2d9-15d7-6d4b-b522-be9514ac623a Revision: 366 Node Kind: directory Schedule: normal Last Changed Author: siegel Last Changed Rev: 366 Last Changed Date: 2022-07-29 13:25:09 -0400 (Fri, 29 Jul 2022)
Stdout:
Buildfile: /usa/svn/work/gmc/trunk/r366/build.xml
compile:
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r366/bin
[javac] Compiling 46 source files to /usa/svn/work/gmc/trunk/r366/bin
[javac] Creating empty /usa/svn/work/gmc/trunk/r366/bin/edu/udel/cis/vsl/gmc/seq/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r366/bin/edu/udel/cis/vsl/gmc/util/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r366/bin/edu/udel/cis/vsl/gmc/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r366/bin/edu/udel/cis/vsl/gmc/concurrent/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r366/bin/edu/udel/cis/vsl/gmc/smc/package-info.class
jar:
[jar] Building jar: /usa/svn/work/gmc/trunk/r366/gmc.jar
test-init:
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r366/junit
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r366/junit/data
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r366/junit/reports
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r366/bin-test
test-compile:
[javac] Compiling 5 source files to /usa/svn/work/gmc/trunk/r366/bin-test
test-run:
[jacoco:coverage] Enhancing junit with coverage
[junit] java.lang.instrument.IllegalClassFormatException: Error while instrumenting sun/util/resources/cldr/provider/CLDRLocaleDataMetaInfo.
[junit] Testsuite: edu.udel.cis.vsl.gmc.GMCTest
[junit] at org.jacoco.agent.rt.internal_f3994fa.CoverageTransformer.transform(CoverageTransformer.java:94)
[junit] at java.instrument/java.lang.instrument.ClassFileTransformer.transform(ClassFileTransformer.java:244)
[junit] at java.instrument/sun.instrument.TransformerManager.transform(TransformerManager.java:188)
[junit] at java.instrument/sun.instrument.InstrumentationImpl.transform(InstrumentationImpl.java:541)
[junit] at java.base/java.lang.ClassLoader.defineClass2(Native Method)
[junit] at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1103)
[junit] at java.base/java.security.SecureClassLoader.defineClass(SecureClassLoader.java:182)
[junit] at java.base/jdk.internal.loader.BuiltinClassLoader.defineClass(BuiltinClassLoader.java:821)
[junit] at java.base/jdk.internal.loader.BuiltinClassLoader.findClassInModuleOrNull(BuiltinClassLoader.java:741)
[junit] at java.base/jdk.internal.loader.BuiltinClassLoader.findClass(BuiltinClassLoader.java:621)
[junit] at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:632)
[junit] at java.base/java.lang.Class.forName(Class.java:545)
[junit] at java.base/java.util.ServiceLoader.loadProvider(ServiceLoader.java:859)
[junit] at java.base/java.util.ServiceLoader$ModuleServicesLookupIterator.hasNext(ServiceLoader.java:1084)
[junit] at java.base/java.util.ServiceLoader$2.hasNext(ServiceLoader.java:1309)
[junit] at java.base/java.util.ServiceLoader$3.hasNext(ServiceLoader.java:1393)
[junit] at java.base/sun.util.cldr.CLDRLocaleProviderAdapter.lambda$new$0(CLDRLocaleProviderAdapter.java:86)
[junit] at java.base/java.security.AccessController.doPrivileged(AccessController.java:569)
[junit] at java.base/sun.util.cldr.CLDRLocaleProviderAdapter.<init>(CLDRLocaleProviderAdapter.java:85)
[junit] at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
[junit] at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:77)
[junit] at java.base/jdk.internal.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
[junit] at java.base/java.lang.reflect.Constructor.newInstanceWithCaller(Constructor.java:499)
[junit] at java.base/java.lang.reflect.Constructor.newInstance(Constructor.java:480)
[junit] at java.base/sun.util.locale.provider.LocaleProviderAdapter.forType(LocaleProviderAdapter.java:188)
[junit] at java.base/sun.util.locale.provider.LocaleProviderAdapter.findAdapter(LocaleProviderAdapter.java:287)
[junit] at java.base/sun.util.locale.provider.LocaleProviderAdapter.getAdapter(LocaleProviderAdapter.java:258)
[junit] at java.base/java.text.NumberFormat.getInstance(NumberFormat.java:960)
[junit] at java.base/java.text.NumberFormat.getInstance(NumberFormat.java:478)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter.<init>(BriefJUnitResultFormatter.java:68)
[junit] at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
[junit] at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:77)
[junit] at java.base/jdk.internal.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
[junit] at java.base/java.lang.reflect.Constructor.newInstanceWithCaller(Constructor.java:499)
[junit] at java.base/java.lang.reflect.ReflectAccess.newInstance(ReflectAccess.java:128)
[junit] at java.base/jdk.internal.reflect.ReflectionFactory.newInstance(ReflectionFactory.java:347)
[junit] at java.base/java.lang.Class.newInstance(Class.java:645)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.FormatterElement.createFormatter(FormatterElement.java:305)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.FormatterElement.createFormatter(FormatterElement.java:266)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.transferFormatters(JUnitTestRunner.java:1098)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:1194)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:1014)
[junit] Caused by: java.io.IOException: Error while instrumenting sun/util/resources/cldr/provider/CLDRLocaleDataMetaInfo.
[junit] at org.jacoco.agent.rt.internal_f3994fa.core.instr.Instrumenter.instrumentError(Instrumenter.java:160)
[junit] at org.jacoco.agent.rt.internal_f3994fa.core.instr.Instrumenter.instrument(Instrumenter.java:110)
[junit] at org.jacoco.agent.rt.internal_f3994fa.CoverageTransformer.transform(CoverageTransformer.java:92)
[junit] ... 41 more
[junit] Caused by: java.lang.IllegalArgumentException: Unsupported class file major version 61
[junit] at org.jacoco.agent.rt.internal_f3994fa.asm.ClassReader.<init>(ClassReader.java:196)
[junit] at org.jacoco.agent.rt.internal_f3994fa.asm.ClassReader.<init>(ClassReader.java:177)
[junit] at org.jacoco.agent.rt.internal_f3994fa.asm.ClassReader.<init>(ClassReader.java:163)
[junit] at org.jacoco.agent.rt.internal_f3994fa.core.internal.instr.InstrSupport.classReaderFor(InstrSupport.java:280)
[junit] at org.jacoco.agent.rt.internal_f3994fa.core.instr.Instrumenter.instrument(Instrumenter.java:76)
[junit] at org.jacoco.agent.rt.internal_f3994fa.core.instr.Instrumenter.instrument(Instrumenter.java:108)
[junit] ... 42 more
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.054 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.gmc.ParserTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec
[junit]
[junit] ------------- Standard Output ---------------
[junit] -errBound=2
[junit] -inputX=10
[junit] -inputY=20
[junit] foo.c
[junit] -errBound=INTEGER (default: 10)
[junit] bound on number of errors logged before quitting
[junit] -inputKEY=VALUE
[junit] specify initial value of input variable
[junit] -verbose or -verbose=BOOLEAN (default: false)
[junit] print verbose output
[junit] ------------- ---------------- ---------------
[junit] Testsuite: edu.udel.cis.vsl.gmc.smc.CoverageTest
[junit] Tests run: 18, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.073 sec
[junit]
[junit] ------------- Standard Output ---------------
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<2>
[junit] TraceStep:['t3'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<3>
[junit] TraceStep:['@t4'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<4>]
[junit] [-1]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<2>
[junit] TraceStep:['t3'=>State<3>]
[junit] [3]FinalState<3>
[junit] SourceState<3>
[junit] TraceStep:['@t4'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<4>]
[junit] [4]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<4>]
[junit] [-1]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<2>
[junit] TraceStep:['t3'=>State<3>]
[junit] [3]FinalState<3>
[junit] SourceState<3>
[junit] TraceStep:['t4'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<4>]
[junit] [4]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<3>]
[junit] [3]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<4>]
[junit] [-1]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<2>
[junit] TraceStep:['t3'=>State<3>]
[junit] [3]FinalState<3>
[junit] SourceState<3>
[junit] TraceStep:['t4'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t2'=>State<4>]
[junit] [4]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<2>
[junit] TraceStep:['t3'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<3>
[junit] TraceStep:['t4'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t2'=>State<4>]
[junit] [-1]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<2>
[junit] TraceStep:['t3'=>State<3>]
[junit] [3]FinalState<3>
[junit] SourceState<3>
[junit] TraceStep:['t4'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['@t2'=>State<4>]
[junit] [4]FinalState<4>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] ------------- ---------------- ---------------
[junit] Testcase: single_noAmple_noViolation(edu.udel.cis.vsl.gmc.smc.CoverageTest): FAILED
[junit] null
[junit] junit.framework.AssertionFailedError
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.checkStackTrace(DfsSearcher.java:711)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.expand(DfsSearcher.java:591)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.proceedToNewState(DfsSearcher.java:643)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:349)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:315)
[junit] at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:70)
[junit] at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:94)
[junit] at edu.udel.cis.vsl.gmc.smc.CoverageTest.checkAssertions(CoverageTest.java:65)
[junit] at edu.udel.cis.vsl.gmc.smc.CoverageTest.single_noAmple_noViolation(CoverageTest.java:107)
[junit] at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[junit] at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
[junit] at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[junit]
[junit]
[junit] Testcase: basic_test(edu.udel.cis.vsl.gmc.smc.CoverageTest): FAILED
[junit] null
[junit] junit.framework.AssertionFailedError
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.checkStackTrace(DfsSearcher.java:711)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.expand(DfsSearcher.java:591)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.proceedToNewState(DfsSearcher.java:643)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:349)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:315)
[junit] at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:70)
[junit] at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:94)
[junit] at edu.udel.cis.vsl.gmc.smc.CoverageTest.checkAssertions(CoverageTest.java:65)
[junit] at edu.udel.cis.vsl.gmc.smc.CoverageTest.basic_test(CoverageTest.java:99)
[junit] at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[junit] at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
[junit] at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[junit]
[junit]
[junit] TEST edu.udel.cis.vsl.gmc.smc.CoverageTest FAILED
[junit] Testsuite: edu.udel.cis.vsl.gmc.smc.SimpleTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.009 sec
[junit]
[junit] ------------- Standard Output ---------------
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<3>]
[junit] [-1]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<3>]
[junit] [2]FinalState<3>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [-1]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['@t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>State<2>]
[junit] [2]FinalState<2>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [1]FinalState<1>
[junit] ------------- ---------------- ---------------
[junitreport] Processing /usa/svn/work/gmc/trunk/r366/junit/data/TESTS-TestSuites.xml to /tmp/null1903562355
[junitreport] Loading stylesheet jar:file:/usr/share/ant/lib/ant-junit.jar!/org/apache/tools/ant/taskdefs/optional/junit/xsl/junit-frames.xsl
[junitreport] Transform time: 446ms
[junitreport] Deleting: /tmp/null1903562355
test:
[jacoco:report] Loading execution data file /usa/svn/work/gmc/trunk/r366/jacoco.exec
[jacoco:report] Writing bundle 'Test Coverage Report for GMC trunk r366' with 41 classes
javadoc:
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r366/doc/javadoc
[javadoc] Generating Javadoc
[javadoc] Javadoc execution
[javadoc] Loading source files for package edu.udel.cis.vsl.gmc...
[javadoc] Loading source files for package edu.udel.cis.vsl.gmc.concurrent...
[javadoc] Loading source files for package edu.udel.cis.vsl.gmc.seq...
[javadoc] Loading source files for package edu.udel.cis.vsl.gmc.smc...
[javadoc] Loading source files for package edu.udel.cis.vsl.gmc.util...
[javadoc] Constructing Javadoc information...
[javadoc] Building index for all the packages and classes...
[javadoc] Standard Doclet version 17.0.3+7-Ubuntu-0ubuntu0.20.04.1
[javadoc] Building tree for all the packages and classes...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Simulator.java:16: error: reference not found
[javadoc] * {@link DfsSearcher#writeStack(File)}. Or, it could be used to perform a
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:42: error: malformed HTML
[javadoc] * An option of MAP type may be assigned a value of type Map<String,Object>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:25: warning: no description for @param
[javadoc] * @param <STATE>
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:26: warning: no description for @param
[javadoc] * @param <TRANSITION>
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCSection.java:46: error: malformed HTML
[javadoc] * An option of MAP type may be assigned a value of type Map<String,Object>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/TraceStepIF.java:7: error: reference not found
[javadoc] * See {@link StateManager#nextState(STATE, TRANSITION)}.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:33: warning: no description for @param
[javadoc] * @param <STATE>
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:34: warning: no description for @param
[javadoc] * @param <TRANSITION>
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/package-info.java:15: error: text not allowed in <ul> element
[javadoc] * <li><strong>Trace</strong></li> represents a trace of an execution of a given
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/CommandLineException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/CommandLineParser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:179: warning: no @param for value
[javadoc] public void setReportCycleAsViolation(boolean value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:221: error: exception not thrown: java.lang.Exception
[javadoc] * @throws Exception
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:221: warning: no description for @throws
[javadoc] * @throws Exception
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:223: warning: no @return
[javadoc] public boolean search(STATE initialState) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:132: warning: no comment
[javadoc] public ConcurrentDfsSearcher(EnablerIF<STATE, TRANSITION> enabler,
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:183: warning: no comment
[javadoc] public boolean cycleFound() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:166: warning: no comment
[javadoc] public boolean getMinimize() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:158: warning: no comment
[javadoc] public String name() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:150: warning: no comment
[javadoc] public StatePredicateIF<STATE> predicate() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:170: warning: no comment
[javadoc] public boolean reportCycleAsViolation() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:162: warning: no comment
[javadoc] public void setMinimize(boolean value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentDfsSearcher.java:154: warning: no comment
[javadoc] public void setName(String name) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:21: error: @param name not found
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:39: error: @param name not found
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:51: error: @param name not found
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:53: error: @param name not found
[javadoc] * @param The
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:56: warning: no @param for value
[javadoc] public void setFullyExplored(boolean value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:3: warning: no comment
[javadoc] public class ConcurrentNode<STATE> {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:14: warning: no comment
[javadoc] public ConcurrentNode(STATE state) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:101: warning: no comment
[javadoc] public ProvisoValue getProviso() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:97: warning: no comment
[javadoc] public STATE getState() {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:28: warning: no description for @param
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:29: error: reference not found
[javadoc] * @return the existing {@link SequentialNode} mapped to the state, or a new
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:30: error: reference not found
[javadoc] * {@link SequentialNode} mapped to the state if there was no entry
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:32: error: reference not found
[javadoc] * {@link SequentialNode} will always store the normalized or
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:59: error: reference not found
[javadoc] * The {@link SequentialNode} that wraps the source state.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:8: warning: no comment
[javadoc] public class ConcurrentNodeFactory<STATE, TRANSITION> {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:20: warning: no comment
[javadoc] public ConcurrentNodeFactory(
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/ConcurrentStateManagerIF.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/StateManager.java:73: error: @param name not found
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/StateManager.java:75: error: invalid use of @return
[javadoc] * @return the normalized or simplified states.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/StateManager.java:77: warning: no @param for traceStep
[javadoc] public abstract void normalize(TraceStepIF<STATE> traceStep);
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/StateManager.java:87: warning: no @param for sourceState
[javadoc] public abstract void printTraceStep(STATE sourceState,
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentStateManagerIF.java:22: warning: no comment
[javadoc] public abstract STATE normalize(STATE traceStep);
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/DfsSearcher.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:255: warning: no @param for value
[javadoc] public void setReportCycleAsViolation(boolean value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:265: warning: no @return
[javadoc] public boolean cycleFound() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:272: warning: no @return
[javadoc] public STATE currentState() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:281: warning: no @return
[javadoc] public Stack<StackEntry<STATE, TRANSITION>> stack() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:295: warning: no @param for initialState
[javadoc] public boolean search(STATE initialState) throws StateSpaceCycleException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:295: warning: no @throws for edu.udel.cis.vsl.gmc.StateSpaceCycleException
[javadoc] public boolean search(STATE initialState) throws StateSpaceCycleException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:346: warning: no @throws for edu.udel.cis.vsl.gmc.StateSpaceCycleException
[javadoc] public boolean search() throws StateSpaceCycleException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:640: warning: no @throws for edu.udel.cis.vsl.gmc.StateSpaceCycleException
[javadoc] public boolean proceedToNewState() throws StateSpaceCycleException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:707: warning: no @param for stackEntry
[javadoc] public boolean checkStackTrace(StackEntry<STATE, TRANSITION> stackEntry) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:197: warning: no comment
[javadoc] public DfsSearcher(EnablerIF<STATE, TRANSITION> enabler,
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:220: warning: no comment
[javadoc] public void boundDepth(int value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:238: warning: no comment
[javadoc] public boolean getMinimize() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:211: warning: no comment
[javadoc] public boolean isDepthBounded() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:207: warning: no comment
[javadoc] public String name() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:193: warning: no comment
[javadoc] public StatePredicateIF<STATE> predicate() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:242: warning: no comment
[javadoc] public boolean reportCycleAsViolation() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:234: warning: no comment
[javadoc] public void setMinimize(boolean value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:203: warning: no comment
[javadoc] public void setName(String name) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:246: warning: no comment
[javadoc] public void setPreemptionBound(int value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/DfsSearcher.java:215: warning: no comment
[javadoc] public void unboundDepth() {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/EnablerIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/ErrorLog.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:373: warning: no @param for entry
[javadoc] public void report(LogEntry entry) throws FileNotFoundException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:373: warning: no @throws for java.io.FileNotFoundException
[javadoc] public void report(LogEntry entry) throws FileNotFoundException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:235: warning: no comment
[javadoc] public int errorBound() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:216: warning: no comment
[javadoc] public File getLogFile() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:247: warning: no comment
[javadoc] public int numEntries() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:243: warning: no comment
[javadoc] public int numErrors() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:251: warning: no comment
[javadoc] public void print(PrintStream out) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:220: warning: no comment
[javadoc] public void save() throws FileNotFoundException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:231: warning: no comment
[javadoc] public DfsSearcher<?, ?> searcher() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:239: warning: no comment
[javadoc] public void setErrorBound(int value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/ErrorLog.java:227: warning: no comment
[javadoc] public void setSearcher(DfsSearcher<?, ?> searcher) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/ExcessiveErrorException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/FalsePredicate.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning: no @return
[javadoc] String explanation();
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/FalsePredicate.java:37: error: unknown tag: reutrn
[javadoc] * @reutrn "FalsePredicate"
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/GMCConfiguration.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:88: warning: no comment
[javadoc] public PrintStream out = System.out;
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:355: warning: no comment
[javadoc] public boolean getSaveStates() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:247: warning: no comment
[javadoc] public boolean isQuiet() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:339: warning: no comment
[javadoc] public boolean printTransitions() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:347: warning: no comment
[javadoc] public void setPrintStream(PrintStream out) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:343: warning: no comment
[javadoc] public void setPrintTransition(boolean printTransitions) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:251: warning: no comment
[javadoc] public void setQuiet(boolean isQuiet) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:351: warning: no comment
[javadoc] public void setSaveStates(boolean saveStates) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/GMCSection.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCSection.java:191: error: unknown tag: thros
[javadoc] * @thros IllegalArgumentException if the given option does not have map
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCSection.java:286: error: @param name not found
[javadoc] * @param key
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GMCSection.java:299: warning: no @param for option
[javadoc] public Object setScalarValue(Option option, Object value) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:92: warning: no description for @throws
[javadoc] * @throws MisguidedExecutionException
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:172: warning: no description for @throws
[javadoc] * @throws MisguidedExecutionException
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:53: warning: no comment
[javadoc] public GuidedTransitionChooser(EnablerIF<STATE, TRANSITION> enabler,
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:59: warning: no comment
[javadoc] public GuidedTransitionChooser(EnablerIF<STATE, TRANSITION> enabler,
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/LogEntry.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/LogEntry.java:41: warning: no @param for configuration
[javadoc] public LogEntry(GMCConfiguration configuration) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/MatrixDirectedGraph.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/MatrixDirectedGraph.java:71: warning: no description for @throws
[javadoc] * @throws Exception
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/MisguidedExecutionException.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/MisguidedExecutionException.java:3: warning: no comment
[javadoc] public class MisguidedExecutionException extends Exception {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/MisguidedExecutionException.java:10: warning: no comment
[javadoc] public MisguidedExecutionException(String msg) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:40: warning: no comment
[javadoc] public MyThreadPool() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:34: warning: no comment
[javadoc] public MyThreadPool(int parallelism) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:62: warning: no comment
[javadoc] public void decrementTotal() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:91: warning: no comment
[javadoc] public int getMaxNumOfThread() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:58: warning: no comment
[javadoc] public void incrementTotal() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:87: warning: no comment
[javadoc] public boolean isQuiescent() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:95: warning: no comment
[javadoc] public void shutdown() {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/concurrent/MyThreadPool.java:82: warning: no comment
[javadoc] public void submit(ForkJoinTask<Integer> task) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/Option.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:75: warning: no comment
[javadoc] public static Option newScalarOption(String name, OptionType type,
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:152: warning: no comment
[javadoc] public void print(PrintStream out) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/Option.OptionType.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:29: warning: no comment
[javadoc] BOOLEAN, INTEGER, DOUBLE, STRING, MAP
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:29: warning: no comment
[javadoc] BOOLEAN, INTEGER, DOUBLE, STRING, MAP
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:29: warning: no comment
[javadoc] BOOLEAN, INTEGER, DOUBLE, STRING, MAP
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:29: warning: no comment
[javadoc] BOOLEAN, INTEGER, DOUBLE, STRING, MAP
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Option.java:29: warning: no comment
[javadoc] BOOLEAN, INTEGER, DOUBLE, STRING, MAP
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/Pair.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/util/Pair.java:3: warning: no comment
[javadoc] public class Pair<L, R> {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/util/Pair.java:4: warning: no comment
[javadoc] public L left;
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/util/Pair.java:5: warning: no comment
[javadoc] public R right;
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/util/Pair.java:7: warning: no comment
[javadoc] public Pair(L left, R right) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/Predicate.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:37: error: unknown tag: state
[javadoc] * For the Violation State Predicate, if the given <code>state<state> is in
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:38: warning: nested tag not allowed: <code>
[javadoc] * the field <code>violationStates</code>, this function will return
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:39: warning: nested tag not allowed: <code>
[javadoc] * <code>true</code> (which will make the SMC return <code>false</code> for
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:39: warning: nested tag not allowed: <code>
[javadoc] * <code>true</code> (which will make the SMC return <code>false</code> for
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:40: warning: nested tag not allowed: <code>
[javadoc] * this violation), else <code>false<code>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:40: warning: nested tag not allowed: <code>
[javadoc] * this violation), else <code>false<code>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:40: error: end tag missing: </code>
[javadoc] * this violation), else <code>false<code>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:40: error: end tag missing: </code>
[javadoc] * this violation), else <code>false<code>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:37: error: end tag missing: </code>
[javadoc] * For the Violation State Predicate, if the given <code>state<state> is in
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/Predicate.java:30: warning: no comment
[javadoc] public Predicate(Integer... states) {
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/ProvisoValue.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/RandomTransitionChooser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/SequentialNode.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/SequentialNode.java:71: error: @param name not found
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/SequentialNode.java:92: error: @param name not found
[javadoc] * @param value
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/SequentialNodeFactory.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/SequentialNodeFactory.java:51: error: @param name not found
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/seq/SequentialNodeFactory.java:106: error: @param name not found
[javadoc] * @param full
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/SimpleStateManager.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/Simulator.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/Simulator.java:68: error: @param name not found
[javadoc] * @param enabler
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/SMC.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/SMCConstants.html...
[javadoc] /usa/svn/work/gmc/trunk/r366/src/edu/udel/cis/vsl/gmc/smc/SMCConstants.java:34: error: reference not found
[javadoc] * {@link GMCConfiguration}.
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/SMCEnabler.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/SMCSimulator.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/StackEntry.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/StackEntry.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/StateManager.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/StatePredicateIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/StateSpaceCycleException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/Trace.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/TraceStep.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/TraceStepIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/TransitionChooser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/Utils.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/package-summary.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/package-tree.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/package-summary.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/package-tree.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/package-summary.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/package-tree.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/package-summary.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/package-tree.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/package-summary.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/package-tree.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/constant-values.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/serialized-form.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/StateSpaceCycleException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/CommandLineParser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/Simulator.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/TransitionChooser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/LogEntry.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/ExcessiveErrorException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/Trace.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/CommandLineException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/ErrorLog.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/FalsePredicate.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/Option.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/Option.OptionType.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/GMCConfiguration.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/MisguidedExecutionException.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/GuidedTransitionChooser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/GMCSection.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/TraceStepIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/RandomTransitionChooser.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/class-use/StatePredicateIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/ProvisoValue.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/MyThreadPool.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/StackEntry.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/ConcurrentNode.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/ConcurrentDfsSearcher.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/ConcurrentStateManagerIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/class-use/ConcurrentNodeFactory.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/class-use/SequentialNode.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/class-use/EnablerIF.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/class-use/StackEntry.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/class-use/DfsSearcher.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/class-use/StateManager.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/class-use/SequentialNodeFactory.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/SMCEnabler.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/SMC.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/SMCConstants.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/MatrixDirectedGraph.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/SMCSimulator.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/SimpleStateManager.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/TraceStep.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/class-use/Predicate.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/class-use/Pair.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/class-use/Utils.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/package-use.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/concurrent/package-use.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/seq/package-use.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/smc/package-use.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/edu/udel/cis/vsl/gmc/util/package-use.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/overview-tree.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/index.html...
[javadoc] Building index for all classes...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/allclasses-index.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/allpackages-index.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/index-all.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/overview-summary.html...
[javadoc] Generating /usa/svn/work/gmc/trunk/r366/doc/javadoc/help-doc.html...
[javadoc] 29 errors
[javadoc] 100 warnings
all:
BUILD SUCCESSFUL
Total time: 4 seconds
Stderr:
[junit] Tests FAILED