teresa 0.1.0

Sign up to get free protection for your applications and to get access to all the features.
@@ -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: