GitHub - mcoblenz/Glacier: Glacier is a type annotation extension to Java that enforces transitive class immutability.

mcoblenz / Glacier Public

Notifications You must be signed in to change notification settings
Fork 5
Star 12

Glacier is a type annotation extension to Java that enforces transitive class immutability.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 105 Commits
.externalToolBuilders		.externalToolBuilders
.idea		.idea
.settings		.settings
src/edu/cmu/cs/glacier		src/edu/cmu/cs/glacier
tests		tests
.classpath		.classpath
.gitignore		.gitignore
.project		.project
Glacier.iml		Glacier.iml
LICENSE		LICENSE
README		README
ReplicationPackage.zip		ReplicationPackage.zip
build.xml		build.xml

Repository files navigation

BUILD INSTRUCTIONS:

1. Install and build the Checker Framework from source. You can find instructions at https://checkerframework.org/manual/#build-source.
2. In the Glacier directory, build Glacier: ant build -Dchecker-framework.loc=${JSR308}/checker-framework/
3. You can build Glacier.jar this way: ant -Dchecker-framework.loc=${JSR308}/checker-framework/ CreateJar
	This will give you Glacier.jar, which you can use as a plugin.


TO INSTALL LOCALLY:

mvn install:install-file -Dfile=Glacier.jar -DgroupId=edu.cmu.cs.glacier -DartifactId=glacier -Dversion=1.0 -Dpackaging=jar