Build failed in Jenkins: type-annotations-jsr308-checker-framework #1

pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found

[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}

[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev f0a862cc01eba15ab6853ca86e83cf6cdde5a791
changeset: 7209:f0a862cc01eb
tag: tip
user: Michael Ernst <mer...@cs.washington.edu>
date: Fri Nov 08 21:18:47 2013 -0800
summary: Add comment about excluded directory.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune f0a862cc01eba15ab6853ca86e83cf6cdde5a791 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #2
[workspace] $ /bin/sh -xe /tmp/hudson8441750714212859818.sh

zab...@gmail.com

unread,

Nov 12, 2013, 8:20:57 PM11/12/13

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/5/>

------------------------------------------
Started by user Werner Dietl
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default
0 files updated, 0 files merged, 0 files removed, 0 files unresolved
[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev f0a862cc01eba15ab6853ca86e83cf6cdde5a791
changeset: 7209:f0a862cc01eb
tag: tip
user: Michael Ernst <mer...@cs.washington.edu>
date: Fri Nov 08 21:18:47 2013 -0800
summary: Add comment about excluded directory.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune f0a862cc01eba15ab6853ca86e83cf6cdde5a791 --encoding UTF-8 --encodingmode replace

Deleting old artifacts from #3
[workspace] $ /bin/sh -xe /tmp/hudson6695359433355877720.sh

zab...@gmail.com

unread,

Nov 13, 2013, 6:58:13 AM11/13/13

to checker-fr...@googlegroups.com

unread,

Dec 12, 2013, 7:33:08 AM12/12/13

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/24/changes>

Changes:

[jonatha...@gmail.com] Added tag checkers-1.7.1 for changeset fe767a470a50

[jonatha...@gmail.com] new release 1.7.1

[jonatha...@gmail.com] Fix broken links in manual

[jonatha...@gmail.com] Update manual to fix broken links

[Werner Dietl _wd...@gmail.com_] Remove execute permission from a few more files.

[Werner Dietl _wd...@gmail.com_] Small javadoc tweaks.

------------------------------------------
Started by an SCM change

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

24 files updated, 0 files merged, 0 files removed, 0 files unresolved

unread,

Jan 3, 2014, 4:33:39 PM1/3/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/37/>

------------------------------------------
Started by user anonymous

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 718a954f51a363cc379022fb2bd598cb26af61fc
changeset: 7379:718a954f51a3
tag: tip
user: jonatha...@gmail.com
date: Thu Jan 02 22:38:39 2014 -0800
summary: Added tag checkers-1.7.2 for changeset 198af8d3c390

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 718a954f51a363cc379022fb2bd598cb26af61fc --encoding UTF-8 --encodingmode replace
[workspace] $ /bin/sh -xe /tmp/hudson3586268790884025062.sh

zab...@gmail.com

unread,

Jan 4, 2014, 7:38:29 AM1/4/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/changes>

Changes:

[jonatha...@gmail.com] Add review board configuration file so that we can easily post reviews to RBCommons. See rbt post or post-review commands.

------------------------------------------
Started by an SCM change

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

5 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev 718a954f51a363cc379022fb2bd598cb26af61fc
changeset: 7379:718a954f51a3

user: jonatha...@gmail.com
date: Thu Jan 02 22:38:39 2014 -0800
summary: Added tag checkers-1.7.2 for changeset 198af8d3c390

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 718a954f51a363cc379022fb2bd598cb26af61fc --encoding UTF-8 --encodingmode replace

Deleting old artifacts from #36
[workspace] $ /bin/sh -xe /tmp/hudson6480510793464988460.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/build>

[copy] Copying 21 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.2
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/38/artifact/checkers/binary/checkers.jar>

zab...@gmail.com

unread,

Jan 7, 2014, 8:30:36 PM1/7/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/39/>

------------------------------------------
Started by user Werner Dietl

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 7b038995f88b613d9a479fd26a07645cea2b8dab
changeset: 7380:7b038995f88b
tag: tip
user: jonatha...@gmail.com
date: Fri Jan 03 17:04:58 2014 -0800
summary: Add review board configuration file so that we can easily post reviews to RBCommons. See rbt post or post-review commands.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 7b038995f88b613d9a479fd26a07645cea2b8dab --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #37
[workspace] $ /bin/sh -xe /tmp/hudson5019878400764153734.sh

Error: Could not find or load main class org.apache.tools.ant.launch.Launcher

zab...@gmail.com

unread,

Jan 12, 2014, 7:33:51 AM1/12/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/40/changes>

Changes:

[Michael Ernst <mer...@cs.washington.edu>] Remove stray right brace

[Michael Ernst <mer...@cs.washington.edu>] Fix broken URLs

[Michael Ernst <mer...@cs.washington.edu>] Fix broken URL

[Michael Ernst <mer...@cs.washington.edu>] Update Daikon URL

------------------------------------------
Started by an SCM change

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

9 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev 7b038995f88b613d9a479fd26a07645cea2b8dab
changeset: 7380:7b038995f88b

user: jonatha...@gmail.com
date: Fri Jan 03 17:04:58 2014 -0800
summary: Add review board configuration file so that we can easily post reviews to RBCommons. See rbt post or post-review commands.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 7b038995f88b613d9a479fd26a07645cea2b8dab --encoding UTF-8 --encodingmode replace

Deleting old artifacts from #38
[workspace] $ /bin/sh -xe /tmp/hudson5664861282857966497.sh

zab...@gmail.com

unread,

Jan 20, 2014, 7:33:30 AM1/20/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/41/changes>

Changes:

[Michael Ernst <mer...@cs.washington.edu>] Improve discussion of checker guarantees

[Michael Ernst <mer...@cs.washington.edu>] Spell-check

[Michael Ernst <mer...@cs.washington.edu>] Update Eclipse info: it now supports type annotations.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

5 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 4cdabe768c08f41b21c4ec70de1fa518d71a729f
changeset: 7384:4cdabe768c08
user: Michael Ernst <mer...@cs.washington.edu>
date: Sat Jan 11 18:30:48 2014 -0800
summary: Remove stray right brace

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 4cdabe768c08f41b21c4ec70de1fa518d71a729f --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #39
[workspace] $ /bin/sh -xe /tmp/hudson1163438924723036776.sh

zab...@gmail.com

unread,

Jan 24, 2014, 7:33:44 AM1/24/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/42/changes>

Changes:

[Michael Ernst <mer...@cs.washington.edu>] Add note about why AnnotatedTypeFactory does some tranfer-function-like work.

[jonatha...@gmail.com] Apply patch from issue #288 ( Parse more parts of the error message ) in the Eclipse plugin

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

7 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 8daed98d29ab2cde8913f98f3d5b61cff91f585f
changeset: 7387:8daed98d29ab
user: Michael Ernst <mer...@cs.washington.edu>
date: Sun Jan 19 19:56:47 2014 -0800
summary: Improve discussion of checker guarantees

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 8daed98d29ab2cde8913f98f3d5b61cff91f585f --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #40
[workspace] $ /bin/sh -xe /tmp/hudson1564295866553037897.sh

zab...@gmail.com

unread,

Jan 29, 2014, 7:33:27 AM1/29/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/43/changes>

Changes:

[jonatha...@gmail.com] Fix braces in PreferenceInitializer.java in the Eclipse plugin

[jonatha...@gmail.com] Fix issue 210 (Eclipse Plugin use implicit imports for annotation classes not working)

[jonatha...@gmail.com] Add useJavacOutput option to the Maven plugin. Normally, the Maven plugin produces error/warning messages that mimic the Maven compiler plugin. This option will cause the plugin to show the exact output produced by the Checker Framework compiler instead.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

11 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev cac453bf0d14c2775ea04353188b674c175f8932
changeset: 7389:cac453bf0d14
user: Michael Ernst <mer...@cs.washington.edu>
date: Thu Jan 23 21:17:28 2014 -0800
summary: Add note about why AnnotatedTypeFactory does some tranfer-function-like work.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune cac453bf0d14c2775ea04353188b674c175f8932 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #41
[workspace] $ /bin/sh -xe /tmp/hudson8997206255928041949.sh

zab...@gmail.com

unread,

Jan 30, 2014, 7:33:25 AM1/30/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/44/changes>

Changes:

[rjust] Fixed javadoc issues

[rjust] Added test targets for reflection resolution and constant value propagation

[rjust] Initial import of sources and tests for reflection resolution and constant value checker/propagation

[rjust] Changes to the AnnotationProvider interface, necessary for reflection resolution

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

49 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev e791f998445f1fd42097a8cde04d554a8266547a
changeset: 7392:e791f998445f
user: jonatha...@gmail.com
date: Tue Jan 28 18:06:54 2014 -0800
summary: Fix braces in PreferenceInitializer.java in the Eclipse plugin

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune e791f998445f1fd42097a8cde04d554a8266547a --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #42
[workspace] $ /bin/sh -xe /tmp/hudson452780120805954038.sh

zab...@gmail.com

unread,

Jan 31, 2014, 7:33:28 AM1/31/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/45/changes>

Changes:

[jonatha...@gmail.com] Automated merge

[jonatha...@gmail.com] Add Format String Checker to list of built-in checkers for the Eclipse Plugin.

[jonatha...@gmail.com] Remove detailed message output from Eclipse plugin console output. Issue - 280

[jonatha...@gmail.com] Remove superfluous join methods in JavaUtils. Push some JavaUtils functionality to the PluginUtil. Update Eclipse classes that used the old JavaUtils

[jonatha...@gmail.com] Sync PluginUtil.java classes in the eclipse/maven/Checker Framework projects

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

14 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev e4a6ee5714903719e1fd7bbd6881e66ed32550aa
changeset: 7396:e4a6ee571490
user: rjust
date: Wed Jan 29 16:57:18 2014 -0800
summary: Fixed javadoc issues

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune e4a6ee5714903719e1fd7bbd6881e66ed32550aa --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #43
[workspace] $ /bin/sh -xe /tmp/hudson2420197735679546443.sh

zab...@gmail.com

unread,

Feb 4, 2014, 7:33:25 AM2/4/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/46/changes>

Changes:

[jonatha...@gmail.com] Update changelog for upcoming release (1.7.3)

[jonatha...@gmail.com] Fix links to use the new Oracle class/method url style

[jonatha...@gmail.com] Update release_push

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

6 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 5b951cb42abfe7377bf8870146665fac01dcfb2e
changeset: 7401:5b951cb42abf
parent: 7400:b415ba49d4c0
parent: 7396:e4a6ee571490
user: jonatha...@gmail.com
date: Thu Jan 30 13:16:27 2014 -0800
summary: Automated merge

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 5b951cb42abfe7377bf8870146665fac01dcfb2e --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #44
[workspace] $ /bin/sh -xe /tmp/hudson6977533564806584061.sh

zab...@gmail.com

unread,

Feb 5, 2014, 7:33:24 AM2/5/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/47/changes>

Changes:

[jonatha...@gmail.com] Update release_push script. Add prompts before a few irreversible actions and fix the copy_releases_to_live_site function

[jonatha...@gmail.com] Added tag checkers-1.7.3 for changeset 8a1e0c64abdb

[jonatha...@gmail.com] new release 1.7.3

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

13 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 0d54eab84a5ee42b67906209155929a2c39ee5b9
changeset: 7404:0d54eab84a5e
user: jonatha...@gmail.com
date: Tue Feb 04 00:05:14 2014 -0800
summary: Update changelog for upcoming release (1.7.3)

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 0d54eab84a5ee42b67906209155929a2c39ee5b9 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #45
[workspace] $ /bin/sh -xe /tmp/hudson8201083775230249547.sh

zab...@gmail.com

unread,

Feb 6, 2014, 6:07:37 PM2/6/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/>

------------------------------------------
Started by user Werner Dietl

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 2b40eb6986a12e4f3fe8da70fe322c604fc35f67
changeset: 7407:2b40eb6986a1
tag: tip
user: jonatha...@gmail.com
date: Tue Feb 04 11:29:06 2014 -0800
summary: Update release_push script. Add prompts before a few irreversible actions and fix the copy_releases_to_live_site function

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 2b40eb6986a12e4f3fe8da70fe322c604fc35f67 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #46
[workspace] $ /bin/sh -xe /tmp/hudson984715782352695153.sh

Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>

clean-nojdk:

clean:

clean:

clean:

clean:

clean:

-prep-bindist:

prep-all:

prep:

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-javacutils.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>

dist:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar>

-prep-dataflow-compile:

prep-all:

prep:
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build>
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/doc>

-prep-javacutils-compile:

prep-all:

prep:

build.check.uptodate:

build:

[java] javac 1.8.0-jsr308-1.7.3

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-javacutils.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>

dist:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar>

build.check.uptodate:

build:

[java] javac 1.8.0-jsr308-1.7.3

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-dataflow.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build/.timestamp>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar>

dist:

build.check.uptodate:

build:

[copy] Copying 24 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/build>
[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/48/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED

[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.

[exec]
[exec] Total time: 0 seconds

BUILD FAILED

<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:836: exec returned: 1

Total time: 31 seconds

zab...@gmail.com

unread,

Feb 7, 2014, 6:40:34 PM2/7/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Update changelog.

[Werner Dietl _wd...@gmail.com_] Add test case for Issue 265. The test works, because we store defaulted annotations now.

[Werner Dietl _wd...@gmail.com_] Adapt expected output files to new error message format. I'm a bit surprised that not more files needed adaptations.

[Werner Dietl _wd...@gmail.com_] Review comments: rename a class, add more javadoc.

[Werner Dietl _wd...@gmail.com_] Hide qualifiers that are not interesting to developers.

[Werner Dietl _wd...@gmail.com_] Adapt to compiler change: use builder methods instead of directly instantiating TypeAnnotationPositions.

[Werner Dietl _wd...@gmail.com_] Remove a method that now has to be part of javac, b/c a constructor is no longer available.

[Werner Dietl _wd...@gmail.com_] Use -source 1.9 for tests.

[Werner Dietl _wd...@gmail.com_] Support JDK 9.

[Werner Dietl _wd...@gmail.com_] Update supported Java version to match jsr308-langtools.

[Werner Dietl _wd...@gmail.com_] Adapt to compiler change: use dummy type annotation position.

[Werner Dietl _wd...@gmail.com_] Add support for JDK 9, as jsr308-langtools is now based on it.
Remove out-of-date and partial support of JDK 6.

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Fix javadoc error.

[Werner Dietl _wd...@gmail.com_] Adapt to changed top qualifier.

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Adapt OIGJ Checker to framework changes; like IGJ and Javari this type system is in serious need of a rewrite.

[Werner Dietl _wd...@gmail.com_] Adapt Javari to framework changes: many more cleanups should be possible for this type system.

[Werner Dietl _wd...@gmail.com_] Fix up IGJ: ugly hacks to get IGJ working again. This type system should be rewritten from scratch an cleanly use framework features.

[Werner Dietl _wd...@gmail.com_] Make upper bounds explicitly @ReadOnly. This would be the default in source code, but not currently for the annotated JDK. But adding this generally seems more explicit and clearer.

[Werner Dietl _wd...@gmail.com_] Update manual: intersection types should be supported since commit dbef228d91b6.

[Werner Dietl _wd...@gmail.com_] Adaptations to "wildcard hack".
As comment stated, use bottom if no poly qualifier found.

[Werner Dietl _wd...@gmail.com_] Store defaulted qualifiers back into the Element.
Remove dependencies on internal javac APIs.
Change wildcard hack to store type variable as upper bound.
Change how receiver types are defaulted, removing special casing @Unqualified.

[Werner Dietl _wd...@gmail.com_] Fix type in javadoc.

[Werner Dietl _wd...@gmail.com_] Use "effective" annotations to correctly look through type variables.
Adapt isSubtype to always consider @UnknownInit as top qualifier.

[Werner Dietl _wd...@gmail.com_] Use the new UnknownKeyFor as top qualifier instead of Unqualified.

[Werner Dietl _wd...@gmail.com_] PolyRaw is not currently used; nonetheless, update it's poly annotation.

[Werner Dietl _wd...@gmail.com_] Add comment to test case.

[Werner Dietl _wd...@gmail.com_] Adapt test case to explicit vs. implicit upper bound rule.

[Werner Dietl _wd...@gmail.com_] Adapt test case to explicit vs. implicit upper bound rule.

[Werner Dietl _wd...@gmail.com_] Always output the most concrete error key that can be used to suppress a particular warning. Add the new command-line option -AshowSuppressWarningKeys to show all possible keys.
Initial update to the manual, but all example output should be updated.

[Werner Dietl _wd...@gmail.com_] Make Eclipse nullness checker happy.

[Werner Dietl _wd...@gmail.com_] Remove special handling for Unqualified qualifier.

[Werner Dietl _wd...@gmail.com_] Improve documentation. Remove unused Elements.

[Werner Dietl _wd...@gmail.com_] Remove Element parameter of the Visitor: it wasn't consistently used and not well documented.

[Werner Dietl _wd...@gmail.com_] Fix for Issue 240: defaults now get stored in bytecode and are accessible to later classes through the Element.

[Werner Dietl _wd...@gmail.com_] Logic to store defaulted type annotations back into the Element. This makes the defaults visible to later compilation units and will result in their ultimate storage in the bytecode.

[Werner Dietl _wd...@gmail.com_] Improve documentation. Add a missing case clause.

[Werner Dietl _wd...@gmail.com_] Remove no-op assert.

[Werner Dietl _wd...@gmail.com_] Documentation and indentation fix.

[Werner Dietl _wd...@gmail.com_] Discourage use of Bottom.

[Werner Dietl _wd...@gmail.com_] Discourage use of Unqualified.

[Werner Dietl _wd...@gmail.com_] Small javadoc counting fix.

[Werner Dietl _wd...@gmail.com_] Add new DefaultLocation.FIELD for type systems that want to use a different default for fields.

[Werner Dietl _wd...@gmail.com_] Fix Javari annotations for explicit upper bounds.

[Werner Dietl _wd...@gmail.com_] Fix nullness annotation in a method signature.

[Werner Dietl _wd...@gmail.com_] Don't validate types in TestChecker... some of the tests use annotations on classes which are interpreted differently.

[Werner Dietl _wd...@gmail.com_] Add errorkey to expected output.

[Werner Dietl _wd...@gmail.com_] Move generally useful helpers to the new class TypeAnnotationUtils.

[Werner Dietl _wd...@gmail.com_] Validate type parameter bounds.

[Werner Dietl _wd...@gmail.com_] Test cases that defaulted annotations in the interface get stored back into bytecode.

[Werner Dietl _wd...@gmail.com_] Add errorkey to expected output.

[Werner Dietl _wd...@gmail.com_] jtreg requires javap to run. Remove non-existent path.

[Werner Dietl _wd...@gmail.com_] Use absolute paths for project dependencies.

[Werner Dietl _wd...@gmail.com_] Add variable for the location of javap.jar.

[Werner Dietl _wd...@gmail.com_] Small change to make the Eclipse nullness checker a bit happier.

[Werner Dietl _wd...@gmail.com_] Remove unused import.

[Werner Dietl _wd...@gmail.com_] Ensure that intersection types are checked.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Remove @Unqualified/@Bottom and instead introduce type system specific qualifiers.

[Werner Dietl _wd...@gmail.com_] Add notes on whether to consider superclasses that have the annotation.

[Werner Dietl _wd...@gmail.com_] Fix typo.

[Werner Dietl _wd...@gmail.com_] There is no reason to add suppression keys, as the base class already does the right thing.

[Werner Dietl _wd...@gmail.com_] Add a TODO to make clear that "rawness" is a temporary suppression key.

------------------------------------------
Started by user Werner Dietl
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

adding changesets
adding manifests
adding file changes
added 70 changesets with 161 changes to 138 files
(run 'hg update' to get a working copy)

[workspace] $ hg update --clean --rev default

137 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev 2b40eb6986a12e4f3fe8da70fe322c604fc35f67
changeset: 7407:2b40eb6986a1

user: jonatha...@gmail.com
date: Tue Feb 04 11:29:06 2014 -0800
summary: Update release_push script. Add prompts before a few irreversible actions and fix the copy_releases_to_live_site function

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 2b40eb6986a12e4f3fe8da70fe322c604fc35f67 --encoding UTF-8 --encodingmode replace

Deleting old artifacts from #47
[workspace] $ /bin/sh -xe /tmp/hudson2727106736369171971.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/build>

[copy] Copying 24 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/49/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED

<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:843: exec returned: 1

Total time: 53 seconds

zab...@gmail.com

unread,

Feb 9, 2014, 7:33:58 AM2/9/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/changes>

Changes:

[Michael Ernst _me...@cs.washington.edu_] Explain jargon.

[Michael Ernst _me...@cs.washington.edu_] Fix hyperlinks.

------------------------------------------
Started by an SCM change

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

no changes found

[workspace] $ hg update --clean --rev default

2 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev dafde90c315dc0c235361750e2201fc155f68b17
changeset: 7477:dafde90c315d
user: Werner Dietl <wdi...@gmail.com>
date: Fri Feb 07 15:58:29 2014 -0500
summary: Update changelog.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune dafde90c315dc0c235361750e2201fc155f68b17 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #48
[workspace] $ /bin/sh -xe /tmp/hudson1424171677780154257.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/build>

[copy] Copying 24 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/50/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:843: exec returned: 1

Total time: 32 seconds

zab...@gmail.com

unread,

Feb 10, 2014, 1:22:14 PM2/10/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/changes>

Changes:

[rjust] Added section and graphics for ValueChecker; the section is not yet visible in the manual.

[rjust] Replaced tabs with spaces in build file

[rjust] Fixed cast-related bug in ValueChecker and added a test case

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

10 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 3b0d1620351bfd3d8ac3989dd0086d7aa16a62e7
changeset: 7479:3b0d1620351b
user: Michael Ernst <mer...@cs.washington.edu>
date: Sat Feb 08 19:46:26 2014 -0800
summary: Explain jargon.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 3b0d1620351bfd3d8ac3989dd0086d7aa16a62e7 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #49
[workspace] $ /bin/sh -xe /tmp/hudson388583626629243522.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/build>

[copy] Copying 24 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/51/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]

[exec] Total time: 1 second

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:843: exec returned: 1

Total time: 39 seconds

zab...@gmail.com

unread,

Feb 11, 2014, 8:14:38 AM2/11/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/changes>

Changes:

[rjust] Layout changes in ValueAnnotatedTypeFactory.

[rjust] Avoid excessive re-traversal of binary trees in ValueAnnotatedTypeFactory.

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Allow test files that depend on each other by providing the correct sourcepath to the compiler.
More consistently use Lists instead of Arrays.
Remove deprecated method.

[Werner Dietl _wd...@gmail.com_] Remove deprecated constructor.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

4 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev b4c7a2c93fc38420fc4778450d4571e66a194dd7
changeset: 7482:b4c7a2c93fc3
user: rjust
date: Mon Feb 10 02:16:22 2014 -0800
summary: Added section and graphics for ValueChecker; the section is not yet visible in the manual.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune b4c7a2c93fc38420fc4778450d4571e66a194dd7 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #50
[workspace] $ /bin/sh -xe /tmp/hudson2399978788029367958.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/build>

[copy] Copying 24 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/52/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]

[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:843: exec returned: 1

Total time: 33 seconds

zab...@gmail.com

unread,

Feb 12, 2014, 7:47:24 AM2/12/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Whitespace clean-ups and remove unused import.

[Werner Dietl _wd...@gmail.com_] When determining the types of constructor uses, substitute all polymorphic qualifiers - also those that might come from the surrounding class.

[Werner Dietl _wd...@gmail.com_] Second merge.

[Werner Dietl _wd...@gmail.com_] First merge.

[Werner Dietl _wd...@gmail.com_] Remove unused import. Fix formatting.

[Suzanne Millstein _smi...@cs.washington.edu_] Commented debugging print statements

[Werner Dietl _wd...@gmail.com_] Add TODOs for possible improvement: AnnotatedExecutableType itself should not accept type annotations. They are currently accepted, but most likely don't do what is expected.

[Suzanne Millstein _smi...@cs.washington.edu_] Automated merge with https://code.google.com/p/checker-framework/

[Werner Dietl _wd...@gmail.com_] Fix handling of anonymous classes and how their annotations are determined.

[Michael Ernst <mer...@cs.washington.edu>] Fix figure reference; improve figure formatting.

[Suzanne Millstein _smi...@cs.washington.edu_] Documented that enum constants can be statically imported in stub files.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

15 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 0e8faaaad62a25d72a67752c952d75f0c284774e
changeset: 7488:0e8faaaad62a
user: rjust
date: Tue Feb 11 01:20:08 2014 -0800
summary: Layout changes in ValueAnnotatedTypeFactory.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 0e8faaaad62a25d72a67752c952d75f0c284774e --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #51
[workspace] $ /bin/sh -xe /tmp/hudson4693318912234000307.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/build>

[copy] Copying 24 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/53/artifact/checkers/binary/checkers.jar>

zab...@gmail.com

unread,

Feb 16, 2014, 7:34:19 AM2/16/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/changes>

Changes:

[Werner Dietl <wdi...@gmail.com>] GUI Effects Checker contributed by Colin Stebbins Gordon <csgo...@cs.washington.edu>.

[Michael Ernst _me...@cs.washington.edu_] Update a URL

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

41 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 86607a7eab666f494cce4df142392758f85d7a9a
changeset: 7499:86607a7eab66
user: Werner Dietl <wdi...@gmail.com>
date: Tue Feb 11 20:47:34 2014 -0500
summary: Whitespace clean-ups and remove unused import.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 86607a7eab666f494cce4df142392758f85d7a9a --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #52
[workspace] $ /bin/sh -xe /tmp/hudson7917673659036404960.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/54/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED

<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

zab...@gmail.com

unread,

Feb 18, 2014, 7:34:22 AM2/18/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/changes>

Changes:

[Werner Dietl <wdi...@gmail.com>] Add purity annotations to make overriding checks happy.

[Werner Dietl <wdi...@gmail.com>] The Compiler Message Checker found an incorrect error message key.
Eclipse cleaned up some whitespace.
I removed two unused locals.

[Werner Dietl <wdi...@gmail.com>] Add Value and GUI Effects Checker property files to the check-compilermsgs target.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

3 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 4b35b58fdb0289ad65b08d0dbcd3fe1e6368a3c4
changeset: 7501:4b35b58fdb02
user: Werner Dietl <wdi...@gmail.com>
date: Sat Feb 15 18:58:09 2014 -0500
summary: GUI Effects Checker contributed by Colin Stebbins Gordon <csgo...@cs.washington.edu>.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 4b35b58fdb0289ad65b08d0dbcd3fe1e6368a3c4 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #53
[workspace] $ /bin/sh -xe /tmp/hudson1564691541270313130.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/55/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 35 seconds

zab...@gmail.com

unread,

Feb 19, 2014, 9:09:44 AM2/19/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/changes>

Changes:

[Werner Dietl <wdi...@gmail.com>] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl <wdi...@gmail.com>] Update changelog for upcoming release.

[Michael Ernst _me...@cs.washington.edu_] Automated merge with https://code.google.com/p/checker-framework

[Michael Ernst _me...@cs.washington.edu_] Improve wording about @AssumeAssertion

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

adding changesets
adding manifests
adding file changes

added 2 changesets with 1 changes to 1 files

(run 'hg update' to get a working copy)

[workspace] $ hg update --clean --rev default
3 files updated, 0 files merged, 0 files removed, 0 files unresolved
[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 244144767de299d0c5ef64aef1b1ee5a586299e8
changeset: 7504:244144767de2
user: Werner Dietl <wdi...@gmail.com>
date: Mon Feb 17 19:14:45 2014 -0500
summary: Add purity annotations to make overriding checks happy.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 244144767de299d0c5ef64aef1b1ee5a586299e8 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #54
[workspace] $ /bin/sh -xe /tmp/hudson8866338221111434847.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.3
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/56/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.3' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.3 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 32 seconds

zab...@gmail.com

unread,

Feb 20, 2014, 7:44:48 AM2/20/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/57/changes>

Changes:

[jonatha...@gmail.com] Added tag checkers-1.7.4 for changeset f2ab274324e7

[jonatha...@gmail.com] new release 1.7.4

[jonatha...@gmail.com] Update Eclipse plugin versions

[jonatha...@gmail.com] Fixes for JDK 8 and the Eclipse plugin

[Michael Ernst _me...@cs.washington.edu_] Automated merge with https://code.google.com/p/checker-framework

[jonatha...@gmail.com] Add JDK8 Maven artifact. Update release to incorporate JDK8 Maven artifact

[jonatha...@gmail.com] Maven will now correctly locate the jd8.jar when running Maven with Java 8.

[Michael Ernst _me...@cs.washington.edu_] Improve description of "class file for ... not found" error

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

no changes found

[workspace] $ hg update --clean --rev default

29 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 9c407198582158ac90e00a0bfa0ceda78e4ffb23
changeset: 7508:9c4071985821
parent: 7506:60fbee0df479
parent: 7507:a60390598b2c
user: Werner Dietl <wdi...@gmail.com>
date: Wed Feb 19 07:57:06 2014 -0500
summary: Automated merge with https://checker-framework.googlecode.com/hg/

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 9c407198582158ac90e00a0bfa0ceda78e4ffb23 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #55
[workspace] $ /bin/sh -xe /tmp/hudson2931919339049211454.sh

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.4' of the JSR 308 compiler, but found version 'javac 1.8.0-jsr308-1.7.3' on your classpath.

Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.4 of the 'javac.jar' library.

Total time: 1 second

zab...@gmail.com

unread,

Feb 21, 2014, 7:34:18 AM2/21/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/changes>

Changes:

[Werner Dietl <wdi...@gmail.com>] Test case for: interpret declaration annotations as type annotations on types, if they are supported aliases.

[Werner Dietl <wdi...@gmail.com>] Interpret declaration annotations as type annotations on types, if they are supported aliases.
This undoes the previous commit ChangeSet 6353:9450a6a69851 and adds some motivation.
A testcase to ensure this isn't lost again is forthcoming.

[Suzanne Millstein _smi...@cs.washington.edu_] merge

[Suzanne Millstein _smi...@cs.washington.edu_] Resolved 3 todos in the StubParser:
1. TODO: Should throw exception?!
No, we now use the stubWarning method.

2. TODO: instead of failing, can we try merging the information from multiple stub files?
No, this is a generic method that adds entries to a map that is passed as an arugement,
so there is no sensable way to merge. Also, stub file merge is implemented else where.

3. TODO: The only compile time constants supported here are Strings
This method also supports boolean constant now. I changed the todo to a comment and
add this limiation to the manual.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

10 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev bb65b863dc0f8316a15b39a16642fbe398cf5cd3
changeset: 7516:bb65b863dc0f
user: jonatha...@gmail.com
date: Wed Feb 19 21:42:40 2014 -0800
summary: Added tag checkers-1.7.4 for changeset f2ab274324e7

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune bb65b863dc0f8316a15b39a16642fbe398cf5cd3 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #56
[workspace] $ /bin/sh -xe /tmp/hudson6506508957084723829.sh

prep:
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.4

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-javacutils.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>

dist:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar>

-prep-dataflow-compile:

prep-all:

prep:
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build>
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/doc>

-prep-javacutils-compile:

prep-all:

prep:

build.check.uptodate:

build:

[java] javac 1.8.0-jsr308-1.7.4

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-javacutils.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>

dist:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar>

build.check.uptodate:

build:

[java] javac 1.8.0-jsr308-1.7.4

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-dataflow.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build/.timestamp>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar>

dist:

build.check.uptodate:

build:

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/build>
[java] javac 1.8.0-jsr308-1.7.4
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/58/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED

[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.4' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.4 of the 'javac.jar' library.

[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 33 seconds

zab...@gmail.com

unread,

Feb 25, 2014, 7:34:22 AM2/25/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/changes>

Changes:

[Michael Ernst _me...@cs.washington.edu_] Tweak webpage

[Werner Dietl <wdi...@gmail.com>] Correctly support qualifiers that were added to the
Units Checker in commit acac4c539fba.
Add a README to try to prevent this mistake in the future.

[Michael Ernst _me...@cs.washington.edu_] Improve instructions

[Michael Ernst _me...@cs.washington.edu_] Use "cp -f" rather than "mv -f" to preserve the original file

[Michael Ernst _me...@cs.washington.edu_] Small formatting improvements

[Michael Ernst _me...@cs.washington.edu_] Improve cross-references

[Michael Ernst _me...@cs.washington.edu_] Ignore generated files

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

8 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev c9284ffe8967bbca334b39e7339bb7b3fcbb8bef
changeset: 7520:c9284ffe8967
user: Werner Dietl <wdi...@gmail.com>
date: Thu Feb 20 20:51:34 2014 -0500
summary: Test case for: interpret declaration annotations as type annotations on types, if they are supported aliases.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune c9284ffe8967bbca334b39e7339bb7b3fcbb8bef --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #57
[workspace] $ /bin/sh -xe /tmp/hudson1107697272226951841.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.4
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/59/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.4' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.4 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 34 seconds

zab...@gmail.com

unread,

Feb 27, 2014, 7:38:33 AM2/27/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/changes>

Changes:

[Michael Ernst <mer...@cs.washington.edu>] Fix typos

[Michael Ernst <mer...@cs.washington.edu>] Improve setup instructions

[Michael Ernst <mer...@cs.washington.edu>] Improve instructions.

[Michael Ernst <mer...@cs.washington.edu>] Undo incorrect HTML quoting

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

3 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 1647fe02b6d86a2f8497fff369cbb0095bf8170e
changeset: 7527:1647fe02b6d8
user: Michael Ernst <mer...@cs.washington.edu>
date: Mon Feb 24 19:49:56 2014 -0800
summary: Tweak webpage

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 1647fe02b6d86a2f8497fff369cbb0095bf8170e --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #58
[workspace] $ /bin/sh -xe /tmp/hudson8262247492365099513.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.4
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/60/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.4' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.4 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 32 seconds

zab...@gmail.com

unread,

Feb 28, 2014, 7:38:28 AM2/28/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/changes>

Changes:

[Michael Ernst <mer...@cs.washington.edu>] Automated merge with https://code.google.com/p/checker-framework

[Michael Ernst <mer...@cs.washington.edu>] Tweak slides

[jonatha...@gmail.com] Move review board config (.reviewboardrc) to top-level Checker Framework directory

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

3 files updated, 0 files merged, 1 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 1cd375d1b14aed27a32e3c22cd0802c70bee5d76
changeset: 7531:1cd375d1b14a
user: Michael Ernst <mer...@cs.washington.edu>
date: Wed Feb 26 11:53:16 2014 -0800
summary: Fix typos

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 1cd375d1b14aed27a32e3c22cd0802c70bee5d76 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #59
[workspace] $ /bin/sh -xe /tmp/hudson9047641557899707468.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.4
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/61/artifact/checkers/binary/checkers.jar>

zab...@gmail.com

unread,

Mar 1, 2014, 7:38:22 AM3/1/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/changes>

Changes:

[David McArthur _mca...@cs.washington.edu_] Misc TODO cleanups.

Removed unused Field from CFAbstractTransfer.
Added comment to field in CFAbstractTransfer.
Removed TODO comment from VisitNewClass.

https://rbcommons.com/s/PLSE/r/153/

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

2 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 843378761a00722966c91b9018db3c36e8a93c05
changeset: 7534:843378761a00
parent: 7532:b2662c32a8a9
parent: 7533:4f08f605dfd5
user: Michael Ernst <mer...@cs.washington.edu>
date: Thu Feb 27 17:24:47 2014 -0800
summary: Automated merge with https://code.google.com/p/checker-framework

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 843378761a00722966c91b9018db3c36e8a93c05 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #60
[workspace] $ /bin/sh -xe /tmp/hudson1608949153036348994.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.4
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/62/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.4' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.4 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 29 seconds

zab...@gmail.com

unread,

Mar 4, 2014, 7:38:04 AM3/4/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/changes>

Changes:

[Michael Ernst _me...@cs.washington.edu_] Fix incorrect file name.

[Michael Ernst _me...@cs.washington.edu_] Further tweak instructions

[Michael Ernst _me...@cs.washington.edu_] Improve notes

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

1 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev bbc8f627bb610d47649a01d132f3620a1cf679ef
changeset: 7535:bbc8f627bb61
user: David McArthur <mcar...@cs.washington.edu>
date: Fri Feb 28 14:25:20 2014 -0800
summary: Misc TODO cleanups.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune bbc8f627bb610d47649a01d132f3620a1cf679ef --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #61
[workspace] $ /bin/sh -xe /tmp/hudson2351272842667957488.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.4
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/63/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.4' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.4 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 33 seconds

zab...@gmail.com

unread,

Mar 6, 2014, 7:33:56 AM3/6/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/64/changes>

Changes:

[jonatha...@gmail.com] Fix stray '=' character in AFU date

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[jonatha...@gmail.com] Update changelog

[jonatha...@gmail.com] Added tag checkers-1.7.5 for changeset 717690b0dba3

[Werner Dietl _wd...@gmail.com_] Consistently capitalize Dataflow Framework. Small typo fixes.

[jonatha...@gmail.com] new release 1.7.5

[Werner Dietl _wd...@gmail.com_] Non-content changes only: break long lines to make future diffs readable.

[jonatha...@gmail.com] Update Eclipse versions for upcoming release

[Werner Dietl _wd...@gmail.com_] Small wording tweaks in the dataflow manual.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

20 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev adc3b30f13ba6f7f55c8cfadc6c5ca4f1e224174
changeset: 7538:adc3b30f13ba
user: Michael Ernst <mer...@cs.washington.edu>
date: Sat Mar 01 18:46:52 2014 -0800
summary: Fix incorrect file name.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune adc3b30f13ba6f7f55c8cfadc6c5ca4f1e224174 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #62
[workspace] $ /bin/sh -xe /tmp/hudson7952148023167736843.sh

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.5' of the JSR 308 compiler, but found version 'javac 1.8.0-jsr308-1.7.4' on your classpath.

Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.5 of the 'javac.jar' library.

Total time: 1 second

zab...@gmail.com

unread,

Mar 7, 2014, 7:47:55 AM3/7/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Fix initialization in test case.

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Test case and fix for a mysterious compilation problem found in plume-lib.

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Fix Issue 301 by using a worklist instead of recursion.

[Werner Dietl _wd...@gmail.com_] Expand ignoreRawTypeArguments test case and fix it by promoting the wasRaw flag when determining supertypes.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

8 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 38c925979ef17acbe6b935183c5e316e57bdd48c
changeset: 7547:38c925979ef1
user: jonatha...@gmail.com
date: Wed Mar 05 15:44:19 2014 -0800
summary: Fix stray '=' character in AFU date

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 38c925979ef17acbe6b935183c5e316e57bdd48c --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #63
[workspace] $ /bin/sh -xe /tmp/hudson5206899729466198352.sh

prep:
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.5

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-javacutils.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>

dist:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar>

-prep-dataflow-compile:

prep-all:

prep:
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build>
[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/doc>

-prep-javacutils-compile:

prep-all:

prep:

build.check.uptodate:

build:

[java] javac 1.8.0-jsr308-1.7.5

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-javacutils.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/build/.timestamp>

dist:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar>

build.check.uptodate:

build:

[java] javac 1.8.0-jsr308-1.7.5

[delete] Deleting: /tmp/jenkins/checkers/srcfiles-dataflow.txt
[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/build/.timestamp>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar>

dist:

build.check.uptodate:

build:

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/build>
[java] javac 1.8.0-jsr308-1.7.5
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/65/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED

[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.5' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.5 of the 'javac.jar' library.

[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 35 seconds

zab...@gmail.com

unread,

Mar 10, 2014, 12:22:45 AM3/10/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/>

------------------------------------------
Started by user Werner Dietl

Started by upstream project "type-annotations-annotation-tools" build number 108
originally caused by:

Started by user Werner Dietl

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev a0d7e40f46c0f64386d45fdc2f31c1f67d563d02
changeset: 7554:a0d7e40f46c0
tag: tip
user: Werner Dietl <wdi...@gmail.com>
date: Fri Mar 07 02:41:30 2014 -0500
summary: Fix initialization in test case.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune a0d7e40f46c0f64386d45fdc2f31c1f67d563d02 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #64
[workspace] $ /bin/sh -xe /tmp/hudson4573041233155762346.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/build>

[copy] Copying 26 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.5
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/66/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.5' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.5 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 21 seconds

zab...@gmail.com

unread,

Mar 10, 2014, 2:11:23 PM3/10/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/changes>

Changes:

[Suzanne Millstein <smi...@cs.washington.edu>] Automated merge with https://code.google.com/p/checker-framework/

[Suzanne Millstein <smi...@cs.washington.edu>] Automated merge with https://code.google.com/p/checker-framework/

[plvines] added type check on field

[plvines] Merged Fields test file. Changed handling of compile-time constant fields

[plvines] removed test file

[plvines] Fixed evaluation of .class fields by string name comparison. Removed analyzable from fields in jdk.astub

[plvines] added android testcase

[plvines] merged

[plvines] merged

[plvines] fixed resolution of public static final fields

[plvines] revised value-checker.tex

[plvines] revised value-checker.tex

[plvines] Revised value checker documentation.

------------------------------------------
Started by user Werner Dietl

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

adding changesets
adding manifests
adding file changes

added 13 changesets with 16 changes to 8 files

(run 'hg update' to get a working copy)

[workspace] $ hg update --clean --rev default

8 files updated, 0 files merged, 1 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev a0d7e40f46c0f64386d45fdc2f31c1f67d563d02
changeset: 7554:a0d7e40f46c0

user: Werner Dietl <wdi...@gmail.com>
date: Fri Mar 07 02:41:30 2014 -0500
summary: Fix initialization in test case.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune a0d7e40f46c0f64386d45fdc2f31c1f67d563d02 --encoding UTF-8 --encodingmode replace

Deleting old artifacts from #65
[workspace] $ /bin/sh -xe /tmp/hudson642377413484332701.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/build>

[copy] Copying 25 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.5
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/67/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.5' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.5 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 20 seconds

zab...@gmail.com

unread,

Mar 11, 2014, 9:30:02 AM3/11/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/changes>

Changes:

[Michael Ernst _me...@cs.washington.edu_] Remove reference to Maven bug that has since been fixed.

------------------------------------------
Started by an SCM change

Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

no changes found

[workspace] $ hg update --clean --rev default

1 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 9fa76b080405940e5cd4d74bfe8820d174aaf89b
changeset: 7567:9fa76b080405
parent: 7554:a0d7e40f46c0
parent: 7566:9145d8477d0f
user: Suzanne Millstein <smi...@cs.washington.edu>
date: Fri Mar 07 15:18:18 2014 -0800
summary: Automated merge with https://code.google.com/p/checker-framework/

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 9fa76b080405940e5cd4d74bfe8820d174aaf89b --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #66
[workspace] $ /bin/sh -xe /tmp/hudson2767962362964562454.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/build>

[copy] Copying 25 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.5
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/68/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.5' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.5 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 25 seconds

zab...@gmail.com

unread,

Mar 13, 2014, 8:57:08 AM3/13/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/>

------------------------------------------
Started by upstream project "type-annotations-annotation-tools" build number 109
originally caused by:
Started by upstream project "type-annotations" build number 191
originally caused by:

Started by an SCM change

Started by upstream project "type-annotations-jsr308-langtools" build number 82
originally caused by:
Started by upstream project "type-annotations" build number 191
originally caused by:

Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 58e8fc4ba397ff7af1e8404dac7f22c2a0240d6a
changeset: 7568:58e8fc4ba397
tag: tip
user: Michael Ernst <mer...@cs.washington.edu>
date: Mon Mar 10 11:26:37 2014 -0700
summary: Remove reference to Maven bug that has since been fixed.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 58e8fc4ba397ff7af1e8404dac7f22c2a0240d6a --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #67
[workspace] $ /bin/sh -xe /tmp/hudson8606097432762237604.sh

[mkdir] Created dir: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/build>

[copy] Copying 25 files to <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/build>

[java] javac 1.8.0-jsr308-1.7.5
[delete] Deleting: /tmp/jenkins/checkers/srcfiles-checkers.txt

[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javaparser/lib/javaparser.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/javacutils/lib/javacutils.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/build>
[unjar] Expanding: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/dataflow/lib/dataflow.jar> into <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/build>

[touch] Creating <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>
[delete] Deleting: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build/.timestamp>

checkers-quals-jar:

[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/binary/checkers-quals.jar>

jar:
[jar] Building jar: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/69/artifact/checkers/binary/checkers.jar>

all.jdks.jar:
[exec] Buildfile: <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>
[exec]
[exec] prep-all:
[exec] [java] Java Result: 1
[exec]
[exec] BUILD FAILED
[exec] <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/build-common.xml>:60: Needed version 'javac 1.8.0-jsr308-1.7.5' of the JSR 308 compiler, but found version 'Error: Could not find or load main class com.sun.tools.javac.Main' on your classpath.
[exec]
[exec] Check that the 'javac.lib' property in 'build-common.properties' points to version 1.7.5 of the 'javac.jar' library.
[exec]
[exec] Total time: 0 seconds

BUILD FAILED
<http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>:850: exec returned: 1

Total time: 28 seconds

zab...@gmail.com

unread,

Mar 16, 2014, 7:34:14 AM3/16/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/70/changes>

Changes:

[Michael Ernst _me...@cs.washington.edu_] Merge

[Michael Ernst _me...@cs.washington.edu_] Fix overfull hboxes

[Werner Dietl _wd...@gmail.com_] A huge refactoring of the Checker Framework, using the new
org.checkerframework package name and restructuring the sub-projects.

[Werner Dietl _wd...@gmail.com_] Moving more tests to the framework.

[Werner Dietl _wd...@gmail.com_] Move test files to framework project.

[Werner Dietl _wd...@gmail.com_] Eclipse config for new framework project.

[Werner Dietl _wd...@gmail.com_] Make a pass through the build files and adapt to new structure.

[Michael Ernst _me...@cs.washington.edu_] Fix overfull hboxes

[Werner Dietl _wd...@gmail.com_] Remove out-of-date and undocumented javaparser-patches.
Modifications are applied - and evolved - in the javaparser.

------------------------------------------

Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

2495 files updated, 0 files merged, 2351 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev 58e8fc4ba397ff7af1e8404dac7f22c2a0240d6a
changeset: 7568:58e8fc4ba397

user: Michael Ernst <mer...@cs.washington.edu>
date: Mon Mar 10 11:26:37 2014 -0700
summary: Remove reference to Maven bug that has since been fixed.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 58e8fc4ba397ff7af1e8404dac7f22c2a0240d6a --encoding UTF-8 --encodingmode replace

Deleting old artifacts from #68
[workspace] $ /bin/sh -xe /tmp/hudson4713895115742899943.sh

FATAL: Unable to find build script at <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/checkers/build.xml>

zab...@gmail.com

unread,

Mar 16, 2014, 11:59:24 AM3/16/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/71/>

------------------------------------------
Started by upstream project "type-annotations-jsr308-langtools" build number 83
originally caused by:

Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

0 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 395ea1d910763384ed9d30d82c397080f31d9774
changeset: 7577:395ea1d91076
tag: tip
parent: 7576:d33de201434b
parent: 7570:613d65e4ce27
user: Michael Ernst <mer...@cs.washington.edu>
date: Sat Mar 15 17:18:38 2014 -0700
summary: Merge

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 395ea1d910763384ed9d30d82c397080f31d9774 --encoding UTF-8 --encodingmode replace
Deleting old artifacts from #69
[workspace] $ /bin/sh -xe /tmp/hudson672583369164437327.sh

zab...@gmail.com

unread,

Mar 17, 2014, 7:33:39 AM3/17/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/72/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Use CHECKERFRAMEWORK instead of CHECKERS as environment variable.

[Michael Ernst _me...@cs.washington.edu_] Add more examples of cross-JDK mismatches

------------------------------------------

Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

10 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}
[workspace] $ hg log --rev 395ea1d910763384ed9d30d82c397080f31d9774
changeset: 7577:395ea1d91076

parent: 7576:d33de201434b
parent: 7570:613d65e4ce27
user: Michael Ernst <mer...@cs.washington.edu>
date: Sat Mar 15 17:18:38 2014 -0700
summary: Merge

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 395ea1d910763384ed9d30d82c397080f31d9774 --encoding UTF-8 --encodingmode replace

[workspace] $ /bin/sh -xe /tmp/hudson5447025402574875650.sh

zab...@gmail.com

unread,

Mar 17, 2014, 1:33:48 PM3/17/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/73/changes>

Changes:

[jonatha...@gmail.com] Update maven plugin manual entry to reflect new layout and command-line invocation

[jonatha...@gmail.com] Update PluginUtil files to reflect new project layout

[jonatha...@gmail.com] Update maven plugin and example to new project layout (org.checkerframework.mavenplugin)

[jonatha...@gmail.com] Move artifact pom files to the maven-plugin directory

------------------------------------------
Started by upstream project "type-annotations-jsr308-langtools" build number 84
originally caused by:

Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

adding changesets
adding manifests
adding file changes

added 4 changesets with 20 changes to 20 files

(run 'hg update' to get a working copy)

[workspace] $ hg update --clean --rev default

20 files updated, 0 files merged, 15 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 85339f92f9134e45730986d6f8512b804fe08c0b
changeset: 7579:85339f92f913
user: Werner Dietl <wdi...@gmail.com>
date: Mon Mar 17 00:09:38 2014 -0400
summary: Use CHECKERFRAMEWORK instead of CHECKERS as environment variable.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 85339f92f9134e45730986d6f8512b804fe08c0b --encoding UTF-8 --encodingmode replace
[workspace] $ /bin/sh -xe /tmp/hudson845485193907231739.sh

zab...@gmail.com

unread,

Mar 18, 2014, 7:33:43 AM3/18/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/74/changes>

Changes:

[jonatha...@gmail.com] Fix naming of checkerQualPom.xml and artifact name

[jonatha...@gmail.com] Update Eclipse manual to reflect project layout/naming changes.

[jonatha...@gmail.com] Update PluginUtil files to reflect the new layout of the Eclipse plugin.

[jonatha...@gmail.com] Update the Eclipse plugin to reflect the new project layout

------------------------------------------

Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes

no changes found

[workspace] $ hg update --clean --rev default

52 files updated, 0 files merged, 39 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev b87b70129a6cc640e05fa155d2737be305a7d0ba
changeset: 7583:b87b70129a6c
user: jonatha...@gmail.com
date: Mon Mar 17 10:13:03 2014 -0700
summary: Update maven plugin manual entry to reflect new layout and command-line invocation

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune b87b70129a6cc640e05fa155d2737be305a7d0ba --encoding UTF-8 --encodingmode replace
[workspace] $ /bin/sh -xe /tmp/hudson717114961593663990.sh

zab...@gmail.com

unread,

Mar 19, 2014, 7:33:16 AM3/19/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/75/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Adapt temporary directory.

[Werner Dietl _wd...@gmail.com_] Adapt readme to new structure, fix mention of demos to new location.

[Werner Dietl _wd...@gmail.com_] Move the "demos" to the separate checker-framework.demos repository.

[Werner Dietl _wd...@gmail.com_] Remove demos from build.xml and update the description of a target.

[Werner Dietl _wd...@gmail.com_] Adapt hgignore to changed directory.

[Werner Dietl _wd...@gmail.com_] Move the units-extension demo to the more appropriate checker/examples
directory.

[Werner Dietl _wd...@gmail.com_] Automated merge with https://checker-framework.googlecode.com/hg/

[Werner Dietl _wd...@gmail.com_] Improve line-breaks in the manual for TT text.

[Michael Ernst _me...@cs.washington.edu_] Update a URL

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

33 files updated, 0 files merged, 1284 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 2ab748060d8dffaebc10b431670b2be14fac64b7
changeset: 7587:2ab748060d8d
user: jonatha...@gmail.com
date: Mon Mar 17 12:08:23 2014 -0700
summary: Fix naming of checkerQualPom.xml and artifact name

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 2ab748060d8dffaebc10b431670b2be14fac64b7 --encoding UTF-8 --encodingmode replace
[workspace] $ /bin/sh -xe /tmp/hudson2583230085705913513.sh

zab...@gmail.com

unread,

Mar 20, 2014, 7:33:15 AM3/20/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/76/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Add file that was not correctly moved for some reason...

[Javier Thaine <jth...@cs.washington.edu>] Proposed small fixes and improvements to the Checker Framework manual

[jthaine] Comment out formatting change to the \code macro until we have time to change all instances of \code{...} in the manual which contain macros.

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

13 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 420330a4b4e81846ce57f333fcd655a8572abbed
changeset: 7596:420330a4b4e8
user: Werner Dietl <wdi...@gmail.com>
date: Tue Mar 18 22:30:46 2014 -0400
summary: Adapt temporary directory.

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 420330a4b4e81846ce57f333fcd655a8572abbed --encoding UTF-8 --encodingmode replace
[workspace] $ /bin/sh -xe /tmp/hudson2591787212117986106.sh

zab...@gmail.com

unread,

Mar 21, 2014, 7:33:14 AM3/21/14

to checker-fr...@googlegroups.com

See <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/77/changes>

Changes:

[Werner Dietl _wd...@gmail.com_] Add purity annotations to classes that are now also checked.

[Werner Dietl _wd...@gmail.com_] Fix file location in error message.

[Werner Dietl _wd...@gmail.com_] Improvements to build files - missed renamings, better handling of dependencies.

[Werner Dietl _wd...@gmail.com_] No need to depend on tools.jar - javadoc.jar contains everything necessary.

[jonatha...@gmail.com] Revert unintended change to the build.xml javadoc target

[jonatha...@gmail.com] Add sources.jar and javadoc.jar to checker/build.xml

------------------------------------------
Started by an SCM change
Building in workspace <http://buffalo.cs.washington.edu:8080/job/type-annotations-jsr308-checker-framework/ws/>
[workspace] $ hg showconfig paths.default
[workspace] $ hg pull --rev default
pulling from https://checker-framework.googlecode.com/hg/
searching for changes
no changes found
[workspace] $ hg update --clean --rev default

10 files updated, 0 files merged, 0 files removed, 0 files unresolved

[workspace] $ hg --config extensions.purge= clean --all
[workspace] $ hg log --rev . --template {node}
[workspace] $ hg log --rev . --template {rev}

[workspace] $ hg log --rev 5d9206b57137ecb2fd4859b7e56618947a4596df
changeset: 7599:5d9206b57137
user: Werner Dietl <wdi...@gmail.com>
date: Wed Mar 19 22:28:46 2014 -0400
summary: Add file that was not correctly moved for some reason...

[workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune 5d9206b57137ecb2fd4859b7e56618947a4596df --encoding UTF-8 --encodingmode replace
[workspace] $ /bin/sh -xe /tmp/hudson3046786271773030892.sh

Reply all

Reply to author

Forward