teresa 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1,115 @@
1
+ <?xml version="1.0" encoding="UTF-8" ?>
2
+ <testsuite errors="1" failures="1" hostname="mahmood-alis-macbook-pro.local"
3
+ name="tests.ATest" tests="3" time="0.069" timestamp="2009-12-19T17:58:59">
4
+ <properties>
5
+ <property name="java.vendor" value="Sun Microsystems Inc." />
6
+ <property name="jtreg.home" value="/Users/mahmood/research/jtreg" />
7
+ <property name="sun.java.launcher" value="SUN_STANDARD" />
8
+ <property name="sun.management.compiler" value="HotSpot 64-Bit Server Compiler" />
9
+ <property name="os.name" value="Darwin" />
10
+ <property name="sun.boot.class.path" value="../../jsr308-langtools/dist/lib/javac.jar:../jsr308-langtools/dist/lib/javac.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/resources.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/rt.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/sunrsasign.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/jsse.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/jce.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/charsets.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/classes" />
11
+ <property name="java.vm.specification.vendor" value="Sun Microsystems Inc." />
12
+ <property name="ant.home" value="/usr/share/ant" />
13
+ <property name="bindist.file" value="binary/jsr308-all.jar" />
14
+ <property name="java.runtime.version" value="1.6.0_03-p3-landonf_19_aug_2008_15_52-b00" />
15
+ <property name="user.name" value="mahmood" />
16
+ <property name="user.language" value="en" />
17
+ <property name="build" value="build" />
18
+ <property name="sun.boot.library.path" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/amd64" />
19
+ <property name="ant.project.name" value="checkers" />
20
+ <property name="java.version" value="1.6.0_03-p3" />
21
+ <property name="build.tests" value="tests/build" />
22
+ <property name="user.timezone" value="" />
23
+ <property name="sun.arch.data.model" value="64" />
24
+ <property name="java.endorsed.dirs" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/endorsed" />
25
+ <property name="sun.cpu.isalist" value="" />
26
+ <property name="sun.jnu.encoding" value="UTF-8" />
27
+ <property name="file.encoding.pkg" value="sun.io" />
28
+ <property name="file.separator" value="/" />
29
+ <property name="java.specification.name" value="Java Platform API Specification" />
30
+ <property name="src.tests" value="/Users/mahmood/research/checker-framework/checkers/tests/src/tests/ATest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/AnnotationBuilderTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/BasicEncryptedTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/BasicSuperSubTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/CheckerParameterized.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/CheckerTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/FailingTests.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/FlowTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/FrameworkTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/I18nTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/IGJTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/InterningTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/JavariTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/LockTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/NullnessTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/OIGJTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/ParameterizedCheckerTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/RegexTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TaintingTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TestInput.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TestRun.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TestUtilities.java" />
31
+ <property name="java.class.version" value="50.0" />
32
+ <property name="src" value="src" />
33
+ <property name="user.country" value="US" />
34
+ <property name="java.home" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre" />
35
+ <property name="java.vm.info" value="mixed mode" />
36
+ <property name="ant.file" value="/Users/mahmood/research/checker-framework/checkers/build.xml" />
37
+ <property name="os.version" value="10.2.0" />
38
+ <property name="temp.dir" value="binary/buildbin" />
39
+ <property name="path.separator" value=":" />
40
+ <property name="java.vm.version" value="1.6.0_03-p3-landonf_19_aug_2008_15_52-b00" />
41
+ <property name="checkers.rel.jp" value="../checkers" />
42
+ <property name="ant.library.dir" value="/usr/share/ant/lib" />
43
+ <property name="dist.doc" value="doc" />
44
+ <property name="java.awt.printerjob" value="sun.print.PSPrinterJob" />
45
+ <property name="halt.on.test.failure" value="true" />
46
+ <property name="sun.io.unicode.encoding" value="UnicodeBig" />
47
+ <property name="compiler.exists" value="true" />
48
+ <property name="user.home" value="/Users/mahmood" />
49
+ <property name="java.specification.vendor" value="Sun Microsystems Inc." />
50
+ <property name="src.files.spaceseparated" value="/Users/mahmood/research/checker-framework/checkers/src/checkers/basetype/BaseTypeChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/basetype/BaseTypeVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/basetype/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/basic/BasicChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/Flow.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/GenKillBits.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/Location.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/I18nChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/KeyLookupAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/KeyLookupChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/SubI18Checker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/quals/LocalizableKey.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/quals/Localized.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJBottom.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/Assignable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/AssignsFields.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/I.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/Immutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/Mutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/ReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/InterningAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/InterningChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/InterningVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/quals/Interned.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/quals/PolyInterned.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/JavariAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/JavariChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/JavariVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/Assignable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/Mutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/PolyRead.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/QReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/ReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/ThisMutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/LinearAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/LinearChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/LinearVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/quals/Linear.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/quals/Normal.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/quals/Unusable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/LockAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/LockChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/LockVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/quals/GuardedBy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/quals/Holding.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/CollectionToArrayHeuristics.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/MapGetHeuristics.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessFlow.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessSubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/RawnessSubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/AssertNonNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/AssertNonNullIfTrue.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/LazyNonNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/NonNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/NonNullVariable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/NonRaw.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/PolyNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/PolyRaw.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/Raw.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/ImmutabilityAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/ImmutabilitySubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/ImmutabilityVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OIGJChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OIGJMutabilityBottom.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OwnershipAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OwnershipSubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OwnershipVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Assignable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/AssignsFields.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Dominator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/I.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Immutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Modifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Mutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/O.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/ReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/WildCard.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/World.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultLocation.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultQualifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultQualifierInHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultQualifiers.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/Dependent.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/ImplicitFor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/PolymorphicQualifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/SubtypeOf.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/TypeQualifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/TypeQualifiers.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/Unqualified.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/Unused.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/regex/RegexAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/regex/RegexChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/regex/quals/Regex.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/Result.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SourceChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SourceVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SupportedLintOptions.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SuppressWarningsKey.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/TaintingAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/TaintingChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/quals/PolyTainted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/quals/Tainted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/quals/Untainted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/AnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/AnnotatedTypeMirror.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/AnnotatedTypes.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/BasicAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/QualifierHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TreeAnnotator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeAnnotator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeFromElement.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeFromTree.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/VisitorState.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/AnnotatedTypeComparer.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/AnnotatedTypeScanner.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/AnnotatedTypeVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/SimpleAnnotatedTypeScanner.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/SimpleAnnotatedTypeVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/AggregateChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/AnnotationUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/DependentTypes.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/ElementUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/GraphQualifierHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/Heuristics.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/InternalUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/QualifierDefaults.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/QualifierPolymorphism.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/TreeUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/TypesUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/count/AnnotationsCounter.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/count/Locations.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/debug/EmptyProcessor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/debug/SignaturePrinter.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/debug/TreeDebug.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/Skeleton.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/StubGenerator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/StubParser.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/StubUtil.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/Critical.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/Encrypted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/FactoryTestChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/FlowTestChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/Odd.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/PolyEncrypted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/SubQual.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/SuperQual.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/TestChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/TypeOutputtingChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/package-info.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/CheckForNull.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/NonNull.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/UnknownNullness.java /Users/mahmood/research/checker-framework/checkers/src/javax/annotation/CheckForNull.java /Users/mahmood/research/checker-framework/checkers/src/javax/annotation/Nonnull.java /Users/mahmood/research/checker-framework/checkers/src/javax/annotation/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/GuardedBy.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/Immutable.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/NotThreadSafe.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/ThreadSafe.java /Users/mahmood/research/checker-framework/checkers/src/org/jetbrains/annotations/NotNull.java /Users/mahmood/research/checker-framework/checkers/src/org/jetbrains/annotations/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/CheckForNull.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/NonNull.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/NullAllowed.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/NullUnknown.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/SuppressWarnings.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/package-info.java" />
51
+ <property name="java.library.path" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/amd64/server:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/amd64:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/../lib/amd64:/usr/java/packages/lib/amd64:/lib:/usr/lib" />
52
+ <property name="java.vendor.url" value="http://java.sun.com/" />
53
+ <property name="javaparser.lib.uptodate" value="true" />
54
+ <property name="build.reports" value="build/reports" />
55
+ <property name="java.vm.vendor" value="Sun Microsystems Inc." />
56
+ <property name="javac.lib" value="../../jsr308-langtools/dist/lib/javac.jar" />
57
+ <property name="run.tests.should.fork" value="true" />
58
+ <property name="java.runtime.name" value="Java(TM) SE Runtime Environment" />
59
+ <property name="java.class.path" value="/Users/mahmood/research/jsr308-langtools/dist/lib/javac.jar:/Users/mahmood/research/checker-framework/jsr308-langtools/dist/lib/javac.jar:/Users/mahmood/research/checker-framework/checkers/tests/build:/Users/mahmood/research/checker-framework/checkers/tests/junit-4.7.jar:/Users/mahmood/research/checker-framework/checkers/build:/usr/share/java/ant-1.7.1/lib/ant-launcher.jar:/usr/share/ant/lib/ant.jar:/usr/share/ant/lib/ant-junit.jar" />
60
+ <property name="jsr308.langtools" value="../../jsr308-langtools" />
61
+ <property name="ant.version" value="Apache Ant version 1.7.1 compiled on September 22 2009" />
62
+ <property name="annotation-utils.lib" value="../annotation-file-utilities/annotation-file-utilities.jar:lib/asmx.jar" />
63
+ <property name="src.astub.files.uptodate" value="true" />
64
+ <property name="compiler.version" value="javac 1.7.0-jsr308-1.0.2" />
65
+ <property name="checkers.jar.file" value="checkers.jar" />
66
+ <property name="build.jtreg.dir" value="build/jtreg" />
67
+ <property name="java.vm.specification.name" value="Java Virtual Machine Specification" />
68
+ <property name="tmpdir" value="/var/tmp//mahmood/checkers" />
69
+ <property name="java.vm.specification.version" value="1.0" />
70
+ <property name="sun.cpu.endian" value="little" />
71
+ <property name="sun.os.patch.level" value="unknown" />
72
+ <property name="build.version" value="1.0.3" />
73
+ <property name="tests" value="tests" />
74
+ <property name="java.io.tmpdir" value="/var/tmp/" />
75
+ <property name="javaparser.lib" value="lib/javaparser.jar" />
76
+ <property name="java.vendor.url.bug" value="http://java.sun.com/cgi-bin/bugreport.cgi" />
77
+ <property name="javaparser.loc" value="../javaparser" />
78
+ <property name="compiler.version.goal" value="javac 1.7.0-jsr308-1.0.3" />
79
+ <property name="jp.project" value="true" />
80
+ <property name="os.arch" value="amd64" />
81
+ <property name="java.awt.graphicsenv" value="sun.awt.X11GraphicsEnvironment" />
82
+ <property name="ant.file.checkers" value="/Users/mahmood/research/checker-framework/checkers/build.xml" />
83
+ <property name="java.ext.dirs" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/ext:/usr/java/packages/lib/ext" />
84
+ <property name="javadoc.lib" value="../../jsr308-langtools/dist/lib/javadoc.jar:../../jsr308-langtools/dist/lib/doclets.jar" />
85
+ <property name="user.dir" value="/Users/mahmood/research/checker-framework/checkers" />
86
+ <property name="checkers.lib" value="checkers.jar" />
87
+ <property name="line.separator" value="
88
+ " />
89
+ <property name="compiler.lib" value="../../jsr308-langtools/dist/lib/javac.jar:../jsr308-langtools/dist/lib/javac.jar" />
90
+ <property name="java.vm.name" value="Java HotSpot(TM) 64-Bit Server VM" />
91
+ <property name="basedir" value="/Users/mahmood/research/checker-framework/checkers" />
92
+ <property name="tests.junit" value="tests/junit-4.7.jar" />
93
+ <property name="javari.jdk.build" value="jdk/javari/build" />
94
+ <property name="ant.java.version" value="1.6" />
95
+ <property name="ant.core.lib" value="/usr/share/ant/lib/ant.jar" />
96
+ <property name="file.encoding" value="UTF-8" />
97
+ <property name="dist.annos.file" value="checkers-quals.jar" />
98
+ <property name="javari.jdk.src" value="jdk/javari/src" />
99
+ <property name="java.specification.version" value="1.6" />
100
+ </properties>
101
+ <testcase classname="tests.ATest" name="error" time="0.0060">
102
+ <error type="java.lang.RuntimeException">java.lang.RuntimeException
103
+ at tests.ATest.error(ATest.java:11)
104
+ </error>
105
+ </testcase>
106
+ <testcase classname="tests.ATest" name="fail" time="0.0020">
107
+ <failure type="junit.framework.AssertionFailedError">junit.framework.AssertionFailedError:
108
+ at tests.ATest.fail(ATest.java:9)
109
+ </failure>
110
+ </testcase>
111
+ <testcase classname="tests.ATest" name="sucess" time="0.0" />
112
+ <system-out><![CDATA[here
113
+ ]]></system-out>
114
+ <system-err><![CDATA[]]></system-err>
115
+ </testsuite>
@@ -0,0 +1 @@
1
+ 1..0 # skip because English-to-French translator isn't installed
@@ -0,0 +1,7 @@
1
+ 1..5
2
+ ok 1 - approved operating system
3
+ # $^0 is solaris
4
+ ok 2 - # SKIP no /sys directory
5
+ ok 3 - # SKIP no /sys directory
6
+ ok 4 - # SKIP no /sys directory
7
+ ok 5 - # SKIP no /sys directory
@@ -0,0 +1,5 @@
1
+ 1..4
2
+ ok 1 - Creating test program
3
+ ok 2 - Test program runs, no error
4
+ not ok 3 - infinite loop # TODO halting problem unsolved
5
+ not ok 4 - infinite loop 2 # TODO halting problem unsolved
@@ -0,0 +1,5 @@
1
+ 1..4
2
+ ok 1 - Input file opened
3
+ not ok 2 - First line of the input valid
4
+ ok 3 - Read the rest of the file
5
+ not ok 4 - Summarized correctly # TODO Not written yet
@@ -0,0 +1,19 @@
1
+ TAP version 13
2
+ ok 1 Description # Directive
3
+ # Diagnostic
4
+ ---
5
+ message: 'Failure message'
6
+ severity: fail
7
+ data:
8
+ got:
9
+ - 1
10
+ - 3
11
+ - 2
12
+ expect:
13
+ - 1
14
+ - 2
15
+ - 3
16
+ ...
17
+ ok 47 Description
18
+ ok 48 Description
19
+ more tests....
@@ -0,0 +1,9 @@
1
+ ok 1 - retrieving servers from the database
2
+ # need to ping 6 servers
3
+ ok 2 - pinged diamond
4
+ ok 3 - pinged ruby
5
+ not ok 4 - pinged saphire
6
+ ok 5 - pinged onyx
7
+ not ok 6 - pinged quartz
8
+ ok 7 - pinged gold
9
+ 1..7
@@ -0,0 +1,3 @@
1
+ require 'support/coverage'
2
+ require 'support/payloads'
3
+ require 'teresa'
@@ -0,0 +1,9 @@
1
+ require 'simplecov'
2
+
3
+ SimpleCov.start do
4
+ project_name 'teresa'
5
+ coverage_dir '.coverage'
6
+
7
+ add_filter "/spec/"
8
+ add_group 'Library', 'lib'
9
+ end
@@ -0,0 +1,18 @@
1
+ module Payloads
2
+ extend Enumerable
3
+ @files = Dir.glob File.expand_path("../../payloads/*", __FILE__)
4
+ @map = Hash[@files.map { |f| [File.basename(f), f] }]
5
+ @content = {}
6
+
7
+ def self.[](key)
8
+ @files.include?(key) ? key : @map.fetch(key)
9
+ end
10
+
11
+ def self.content(key)
12
+ @content[self[key]] ||= File.read(self[key], encoding: Encoding::UTF_8)
13
+ end
14
+
15
+ def self.each(&block)
16
+ @map.each(&block)
17
+ end
18
+ end
@@ -0,0 +1,13 @@
1
+ require 'support'
2
+
3
+ describe Teresa do
4
+ describe :parse_file do
5
+ Payloads.each do |name, file|
6
+ it "parses #{name}" do
7
+ tests = Teresa.parse_file(file)
8
+ tests.should be_an(Array)
9
+ tests.each { |t| t.should be_an(Teresa::Test) }
10
+ end
11
+ end
12
+ end
13
+ end
@@ -0,0 +1,61 @@
1
+ # encoding: utf-8
2
+ Gem::Specification.new do |s|
3
+ # general infos
4
+ s.name = "teresa"
5
+ s.version = "0.1.0"
6
+ s.description = "Parses test run output in various formats."
7
+ s.homepage = "https://github.com/rkh/teresa"
8
+ s.summary = "Test Result Analyzer"
9
+ s.license = "MIT"
10
+
11
+ # generated from git shortlog -sn
12
+ s.authors = [
13
+ "Konstantin Haase"
14
+ ]
15
+
16
+ # generated from git shortlog -sne
17
+ s.email = [
18
+ "konstantin.mailinglists@googlemail.com"
19
+ ]
20
+
21
+ # generated from git ls-files
22
+ s.files = [
23
+ "LICENSE",
24
+ "README.md",
25
+ "Rakefile",
26
+ "lib/teresa.rb",
27
+ "lib/teresa/error.rb",
28
+ "lib/teresa/parser.rb",
29
+ "lib/teresa/parser/generic.rb",
30
+ "lib/teresa/parser/tap.rb",
31
+ "lib/teresa/parser/xunit.rb",
32
+ "lib/teresa/test.rb",
33
+ "lib/teresa/version.rb",
34
+ "spec/payloads/bacon.knock.txt",
35
+ "spec/payloads/bacon.tap.txt",
36
+ "spec/payloads/blank-junit.xml",
37
+ "spec/payloads/common.tap.txt",
38
+ "spec/payloads/fizzbuzz.xml",
39
+ "spec/payloads/giving_up.tap.txt",
40
+ "spec/payloads/liberties.tap.txt",
41
+ "spec/payloads/mustermann.xml",
42
+ "spec/payloads/sample-junit.xml",
43
+ "spec/payloads/skip_app.tap.txt",
44
+ "spec/payloads/skip_few.tap.txt",
45
+ "spec/payloads/spare_tuits.tap.txt",
46
+ "spec/payloads/tap.txt",
47
+ "spec/payloads/tap13.txt",
48
+ "spec/payloads/unknown_amout.tap.txt",
49
+ "spec/support.rb",
50
+ "spec/support/coverage.rb",
51
+ "spec/support/payloads.rb",
52
+ "spec/teresa_spec.rb",
53
+ "teresa.gemspec"
54
+ ]
55
+
56
+ # dependencies
57
+ s.add_dependency "nokogiri", "~> 1.5"
58
+ s.add_development_dependency "rspec", "~> 2.14"
59
+ s.add_development_dependency "simplecov", "~> 0.7"
60
+ s.add_development_dependency "rake"
61
+ end
metadata ADDED
@@ -0,0 +1,132 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: teresa
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.1.0
5
+ platform: ruby
6
+ authors:
7
+ - Konstantin Haase
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2013-09-15 00:00:00.000000000 Z
12
+ dependencies:
13
+ - !ruby/object:Gem::Dependency
14
+ name: nokogiri
15
+ requirement: !ruby/object:Gem::Requirement
16
+ requirements:
17
+ - - ~>
18
+ - !ruby/object:Gem::Version
19
+ version: '1.5'
20
+ type: :runtime
21
+ prerelease: false
22
+ version_requirements: !ruby/object:Gem::Requirement
23
+ requirements:
24
+ - - ~>
25
+ - !ruby/object:Gem::Version
26
+ version: '1.5'
27
+ - !ruby/object:Gem::Dependency
28
+ name: rspec
29
+ requirement: !ruby/object:Gem::Requirement
30
+ requirements:
31
+ - - ~>
32
+ - !ruby/object:Gem::Version
33
+ version: '2.14'
34
+ type: :development
35
+ prerelease: false
36
+ version_requirements: !ruby/object:Gem::Requirement
37
+ requirements:
38
+ - - ~>
39
+ - !ruby/object:Gem::Version
40
+ version: '2.14'
41
+ - !ruby/object:Gem::Dependency
42
+ name: simplecov
43
+ requirement: !ruby/object:Gem::Requirement
44
+ requirements:
45
+ - - ~>
46
+ - !ruby/object:Gem::Version
47
+ version: '0.7'
48
+ type: :development
49
+ prerelease: false
50
+ version_requirements: !ruby/object:Gem::Requirement
51
+ requirements:
52
+ - - ~>
53
+ - !ruby/object:Gem::Version
54
+ version: '0.7'
55
+ - !ruby/object:Gem::Dependency
56
+ name: rake
57
+ requirement: !ruby/object:Gem::Requirement
58
+ requirements:
59
+ - - '>='
60
+ - !ruby/object:Gem::Version
61
+ version: '0'
62
+ type: :development
63
+ prerelease: false
64
+ version_requirements: !ruby/object:Gem::Requirement
65
+ requirements:
66
+ - - '>='
67
+ - !ruby/object:Gem::Version
68
+ version: '0'
69
+ description: Parses test run output in various formats.
70
+ email:
71
+ - konstantin.mailinglists@googlemail.com
72
+ executables: []
73
+ extensions: []
74
+ extra_rdoc_files: []
75
+ files:
76
+ - LICENSE
77
+ - README.md
78
+ - Rakefile
79
+ - lib/teresa.rb
80
+ - lib/teresa/error.rb
81
+ - lib/teresa/parser.rb
82
+ - lib/teresa/parser/generic.rb
83
+ - lib/teresa/parser/tap.rb
84
+ - lib/teresa/parser/xunit.rb
85
+ - lib/teresa/test.rb
86
+ - lib/teresa/version.rb
87
+ - spec/payloads/bacon.knock.txt
88
+ - spec/payloads/bacon.tap.txt
89
+ - spec/payloads/blank-junit.xml
90
+ - spec/payloads/common.tap.txt
91
+ - spec/payloads/fizzbuzz.xml
92
+ - spec/payloads/giving_up.tap.txt
93
+ - spec/payloads/liberties.tap.txt
94
+ - spec/payloads/mustermann.xml
95
+ - spec/payloads/sample-junit.xml
96
+ - spec/payloads/skip_app.tap.txt
97
+ - spec/payloads/skip_few.tap.txt
98
+ - spec/payloads/spare_tuits.tap.txt
99
+ - spec/payloads/tap.txt
100
+ - spec/payloads/tap13.txt
101
+ - spec/payloads/unknown_amout.tap.txt
102
+ - spec/support.rb
103
+ - spec/support/coverage.rb
104
+ - spec/support/payloads.rb
105
+ - spec/teresa_spec.rb
106
+ - teresa.gemspec
107
+ homepage: https://github.com/rkh/teresa
108
+ licenses:
109
+ - MIT
110
+ metadata: {}
111
+ post_install_message:
112
+ rdoc_options: []
113
+ require_paths:
114
+ - lib
115
+ required_ruby_version: !ruby/object:Gem::Requirement
116
+ requirements:
117
+ - - '>='
118
+ - !ruby/object:Gem::Version
119
+ version: '0'
120
+ required_rubygems_version: !ruby/object:Gem::Requirement
121
+ requirements:
122
+ - - '>='
123
+ - !ruby/object:Gem::Version
124
+ version: '0'
125
+ requirements: []
126
+ rubyforge_project:
127
+ rubygems_version: 2.0.7
128
+ signing_key:
129
+ specification_version: 4
130
+ summary: Test Result Analyzer
131
+ test_files: []
132
+ has_rdoc: