Skip to content

Commit f867b79

Browse files
jon-belljon-bell
committed
Initial Commit
1 parent aa97b42 commit f867b79

84 files changed

Lines changed: 241434 additions & 0 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
*.class

‎Code/ChroniclerJ/.classpath‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<classpath>
3+
<classpathentry kind="src" path="src"/>
4+
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
5+
<classpathentry kind="lib" path="lib/asm-all-4.0.jar" sourcepath="lib/asm-src.zip"/>
6+
<classpathentry kind="lib" path="lib/log4j-1.2.16.jar"/>
7+
<classpathentry kind="lib" path="lib/objenesis-1.2.jar"/>
8+
<classpathentry kind="lib" path="lib/xstream-1.4.2.jar" sourcepath="/Users/jon/.m2/repository/com/thoughtworks/xstream/xstream/1.4.2/xstream-1.4.2-sources.jar"/>
9+
<classpathentry kind="lib" path="lib/kxml2-2.3.0.jar"/>
10+
<classpathentry kind="output" path="bin"/>
11+
</classpath>

‎Code/ChroniclerJ/.project‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<projectDescription>
3+
<name>ChroniclerJ</name>
4+
<comment></comment>
5+
<projects>
6+
</projects>
7+
<buildSpec>
8+
<buildCommand>
9+
<name>org.eclipse.jdt.core.javabuilder</name>
10+
<arguments>
11+
</arguments>
12+
</buildCommand>
13+
</buildSpec>
14+
<natures>
15+
<nature>org.eclipse.jdt.core.javanature</nature>
16+
</natures>
17+
</projectDescription>

‎Code/ChroniclerJ/.settings/org.eclipse.jdt.core.prefs‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
#Thu Aug 09 21:42:23 EDT 2012
2+
eclipse.preferences.version=1
3+
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
4+
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
5+
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
6+
org.eclipse.jdt.core.compiler.compliance=1.7
7+
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
8+
org.eclipse.jdt.core.compiler.debug.localVariable=generate
9+
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
10+
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
11+
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
12+
org.eclipse.jdt.core.compiler.source=1.7

‎Code/ChroniclerJ/META-INF/MANIFEST.MF‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
Manifest-Version: 1.0
2+
Created-By: 1.6.0_06 (Sun Microsystems Inc.)
3+
Main-Class: edu.columbia.cs.psl.chroniclerj.Main
4+
Class-Path: ./
5+

‎Code/ChroniclerJ/META-INF/services/org.xmlpull.v1.XmlPullParserFactory‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
org.kxml2.io.KXmlParser,org.kxml2.io.KXmlSerializer
2+

‎Code/ChroniclerJ/bin/log4j.properties‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
2+
log4j.rootCategory=INFO, stderr, file
3+
4+
# Pattern to output the caller's file name and line number.
5+
log4j.appender.stderr=org.apache.log4j.ConsoleAppender
6+
log4j.appender.stderr.target=System.err
7+
log4j.appender.stderr.layout=org.apache.log4j.PatternLayout
8+
log4j.appender.stderr.layout.ConversionPattern=[in-vivo %d] %p [%t] %C.%M(%L) | %m%n
9+
10+
log4j.appender.file=org.apache.log4j.RollingFileAppender
11+
log4j.appender.file.File=in-vivo.log
12+
log4j.appender.file.MaxFileSize=10000KB
13+
log4j.appender.file.MaxBackupIndex=10
14+
log4j.appender.file.layout=org.apache.log4j.PatternLayout
15+
log4j.appender.file.layout.ConversionPattern=[in-vivo - %t (%d)] %p %C.%M(%L) | %m%n
16+
17+
#core packages
18+
#log4j.logger.org.geworkbench.engine.config.UILauncher=INFO
19+
#log4j.logger.org.geworkbench.engine.management.ComponentRegistry=INFO
20+
log4j.logger.edu.columbia.cs.psl.invivo.record.analysis.MutabilityAnalyzer=INFO

‎Code/ChroniclerJ/jar-descriptor.jardesc‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<?xml version="1.0" encoding="US-ASCII" standalone="no"?>
2+
<jardesc>
3+
<jar path="test case generation/chroniclerj.jar"/>
4+
<options buildIfNeeded="true" compress="false" descriptionLocation="/test case generation/jar-descriptor.jardesc" exportErrors="true" exportWarnings="true" includeDirectoryEntries="true" overwrite="true" saveDescription="true" storeRefactorings="false" useSourceFolders="false"/>
5+
<storedRefactorings deprecationInfo="true" structuralOnly="false"/>
6+
<selectedProjects/>
7+
<manifest generateManifest="false" manifestLocation="/test case generation/META-INF/MANIFEST.MF" manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="true">
8+
<sealing sealJar="false">
9+
<packagesToSeal/>
10+
<packagesToUnSeal/>
11+
</sealing>
12+
</manifest>
13+
<selectedElements exportClassFiles="false" exportJavaFiles="false" exportOutputFolder="true">
14+
<file path="/test case generation/lib/asm-all-4.0.jar"/>
15+
<folder path="/test case generation/META-INF"/>
16+
<file path="/test case generation/lib/xstream-1.4.2.jar"/>
17+
<javaElement handleIdentifier="=test case generation/src"/>
18+
<file path="/test case generation/lib/objenesis-1.2.jar"/>
19+
<file path="/test case generation/lib/log4j-1.2.16.jar"/>
20+
<file path="/test case generation/lib/kxml2-2.3.0.jar"/>
21+
</selectedElements>
22+
</jardesc>

‎Code/ChroniclerJ/lib/asm-all-4.0.jar‎

208 KB
Binary file not shown.

‎Code/ChroniclerJ/lib/asm-src.zip‎

671 KB
Binary file not shown.

0 commit comments

Comments
 (0)