Download pdb.values Free Java Code

.classpath//  ww w  . jav a  2s .com
.gitignore
.project
.settings/org.eclipse.core.resources.prefs
.settings/org.eclipse.jdt.core.prefs
META-INF/MANIFEST.MF
about.html
build.properties
doc/PBF-basic-spec.txt
doc/README
org.eclipse.imp.pdb.values.iml
pom.xml
src/org/eclipse/imp/pdb/facts/IAnnotatable.java
src/org/eclipse/imp/pdb/facts/IBool.java
src/org/eclipse/imp/pdb/facts/IConstructor.java
src/org/eclipse/imp/pdb/facts/IDateTime.java
src/org/eclipse/imp/pdb/facts/IExternalValue.java
src/org/eclipse/imp/pdb/facts/IInteger.java
src/org/eclipse/imp/pdb/facts/IList.java
src/org/eclipse/imp/pdb/facts/IListAlgebra.java
src/org/eclipse/imp/pdb/facts/IListRelation.java
src/org/eclipse/imp/pdb/facts/IListWriter.java
src/org/eclipse/imp/pdb/facts/IMap.java
src/org/eclipse/imp/pdb/facts/IMapWriter.java
src/org/eclipse/imp/pdb/facts/INode.java
src/org/eclipse/imp/pdb/facts/INumber.java
src/org/eclipse/imp/pdb/facts/IRational.java
src/org/eclipse/imp/pdb/facts/IReal.java
src/org/eclipse/imp/pdb/facts/IRelationalAlgebra.java
src/org/eclipse/imp/pdb/facts/ISet.java
src/org/eclipse/imp/pdb/facts/ISetAlgebra.java
src/org/eclipse/imp/pdb/facts/ISetRelation.java
src/org/eclipse/imp/pdb/facts/ISetWriter.java
src/org/eclipse/imp/pdb/facts/ISourceLocation.java
src/org/eclipse/imp/pdb/facts/IString.java
src/org/eclipse/imp/pdb/facts/ITuple.java
src/org/eclipse/imp/pdb/facts/IValue.java
src/org/eclipse/imp/pdb/facts/IValueFactory.java
src/org/eclipse/imp/pdb/facts/IWriter.java
src/org/eclipse/imp/pdb/facts/exceptions/EmptyIdentifierException.java
src/org/eclipse/imp/pdb/facts/exceptions/FactParseError.java
src/org/eclipse/imp/pdb/facts/exceptions/FactTypeDeclarationException.java
src/org/eclipse/imp/pdb/facts/exceptions/FactTypeRedeclaredException.java
src/org/eclipse/imp/pdb/facts/exceptions/FactTypeUseException.java
src/org/eclipse/imp/pdb/facts/exceptions/FieldLabelMismatchException.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalAnnotationDeclaration.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalConstructorApplicationException.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalFieldNameException.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalFieldTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalIdentifierException.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalInstantiatedAbstractDataTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/IllegalOperationException.java
src/org/eclipse/imp/pdb/facts/exceptions/InvalidDateTimeException.java
src/org/eclipse/imp/pdb/facts/exceptions/NullTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/OverloadingNotSupportedException.java
src/org/eclipse/imp/pdb/facts/exceptions/RedeclaredAnnotationException.java
src/org/eclipse/imp/pdb/facts/exceptions/RedeclaredConstructorException.java
src/org/eclipse/imp/pdb/facts/exceptions/RedeclaredFieldNameException.java
src/org/eclipse/imp/pdb/facts/exceptions/UndeclaredAbstractDataTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UndeclaredAnnotationException.java
src/org/eclipse/imp/pdb/facts/exceptions/UndeclaredConstructorException.java
src/org/eclipse/imp/pdb/facts/exceptions/UndeclaredFieldException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedAnnotationTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedChildTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedConstructorTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedElementTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedMapKeyTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedMapValueTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedResultTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnexpectedTypeException.java
src/org/eclipse/imp/pdb/facts/exceptions/UnsupportedTypeException.java
src/org/eclipse/imp/pdb/facts/impl/AbstractDefaultAnnotatable.java
src/org/eclipse/imp/pdb/facts/impl/AbstractList.java
src/org/eclipse/imp/pdb/facts/impl/AbstractMap.java
src/org/eclipse/imp/pdb/facts/impl/AbstractNode.java
src/org/eclipse/imp/pdb/facts/impl/AbstractSet.java
src/org/eclipse/imp/pdb/facts/impl/AbstractValue.java
src/org/eclipse/imp/pdb/facts/impl/AbstractValueFactoryAdapter.java
src/org/eclipse/imp/pdb/facts/impl/AbstractWriter.java
src/org/eclipse/imp/pdb/facts/impl/AnnotatedConstructorFacade.java
src/org/eclipse/imp/pdb/facts/impl/AnnotatedNodeFacade.java
src/org/eclipse/imp/pdb/facts/impl/DefaultRelationViewOnList.java
src/org/eclipse/imp/pdb/facts/impl/DefaultRelationViewOnSet.java
src/org/eclipse/imp/pdb/facts/impl/fast/Constructor.java
src/org/eclipse/imp/pdb/facts/impl/fast/List.java
src/org/eclipse/imp/pdb/facts/impl/fast/ListWriter.java
src/org/eclipse/imp/pdb/facts/impl/fast/Map.java
src/org/eclipse/imp/pdb/facts/impl/fast/MapWriter.java
src/org/eclipse/imp/pdb/facts/impl/fast/Node.java
src/org/eclipse/imp/pdb/facts/impl/fast/RelationViewOnList.java
src/org/eclipse/imp/pdb/facts/impl/fast/RelationViewOnSet.java
src/org/eclipse/imp/pdb/facts/impl/fast/RelationalFunctionsOnList.java
src/org/eclipse/imp/pdb/facts/impl/fast/RelationalFunctionsOnSet.java
src/org/eclipse/imp/pdb/facts/impl/fast/Set.java
src/org/eclipse/imp/pdb/facts/impl/fast/SetWriter.java
src/org/eclipse/imp/pdb/facts/impl/fast/Tuple.java
src/org/eclipse/imp/pdb/facts/impl/fast/ValueFactory.java
src/org/eclipse/imp/pdb/facts/impl/func/ListFunctions.java
src/org/eclipse/imp/pdb/facts/impl/func/MapFunctions.java
src/org/eclipse/imp/pdb/facts/impl/func/NodeFunctions.java
src/org/eclipse/imp/pdb/facts/impl/func/SetFunctions.java
src/org/eclipse/imp/pdb/facts/impl/primitive/AbstractNumberValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/AbstractPrimitiveValueFactory.java
src/org/eclipse/imp/pdb/facts/impl/primitive/BigDecimalValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/BigIntegerValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/BoolValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/DateTimeValues.java
src/org/eclipse/imp/pdb/facts/impl/primitive/ExternalValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/ICanBecomeABigInteger.java
src/org/eclipse/imp/pdb/facts/impl/primitive/IURI.java
src/org/eclipse/imp/pdb/facts/impl/primitive/IntegerValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/RationalValue.java
src/org/eclipse/imp/pdb/facts/impl/primitive/SourceLocationURIValues.java
src/org/eclipse/imp/pdb/facts/impl/primitive/SourceLocationValues.java
src/org/eclipse/imp/pdb/facts/impl/primitive/StringValue.java
src/org/eclipse/imp/pdb/facts/impl/reference/Constructor.java
src/org/eclipse/imp/pdb/facts/impl/reference/List.java
src/org/eclipse/imp/pdb/facts/impl/reference/ListWriter.java
src/org/eclipse/imp/pdb/facts/impl/reference/Map.java
src/org/eclipse/imp/pdb/facts/impl/reference/MapWriter.java
src/org/eclipse/imp/pdb/facts/impl/reference/Node.java
src/org/eclipse/imp/pdb/facts/impl/reference/Set.java
src/org/eclipse/imp/pdb/facts/impl/reference/SetWriter.java
src/org/eclipse/imp/pdb/facts/impl/reference/Tuple.java
src/org/eclipse/imp/pdb/facts/impl/reference/ValueFactory.java
src/org/eclipse/imp/pdb/facts/impl/util/BigDecimalCalculations.java
src/org/eclipse/imp/pdb/facts/impl/util/collections/ShareableValuesHashMap.java
src/org/eclipse/imp/pdb/facts/impl/util/collections/ShareableValuesHashSet.java
src/org/eclipse/imp/pdb/facts/impl/util/collections/ShareableValuesList.java
src/org/eclipse/imp/pdb/facts/impl/util/sharing/IShareable.java
src/org/eclipse/imp/pdb/facts/impl/util/sharing/IndexedCache.java
src/org/eclipse/imp/pdb/facts/impl/util/sharing/ShareableValuesFactory.java
src/org/eclipse/imp/pdb/facts/io/ATermReader.java
src/org/eclipse/imp/pdb/facts/io/ATermWriter.java
src/org/eclipse/imp/pdb/facts/io/AbstractBinaryReader.java
src/org/eclipse/imp/pdb/facts/io/AbstractTextReader.java
src/org/eclipse/imp/pdb/facts/io/BinaryValueReader.java
src/org/eclipse/imp/pdb/facts/io/BinaryValueWriter.java
src/org/eclipse/imp/pdb/facts/io/IValueBinaryReader.java
src/org/eclipse/imp/pdb/facts/io/IValueBinaryWriter.java
src/org/eclipse/imp/pdb/facts/io/IValueTextReader.java
src/org/eclipse/imp/pdb/facts/io/IValueTextWriter.java
src/org/eclipse/imp/pdb/facts/io/StandardTextReader.java
src/org/eclipse/imp/pdb/facts/io/StandardTextWriter.java
src/org/eclipse/imp/pdb/facts/io/XMLReader.java
src/org/eclipse/imp/pdb/facts/io/XMLWriter.java
src/org/eclipse/imp/pdb/facts/io/binary/BinaryReader.java
src/org/eclipse/imp/pdb/facts/io/binary/BinaryWriter.java
src/org/eclipse/imp/pdb/facts/type/AbstractDataType.java
src/org/eclipse/imp/pdb/facts/type/AliasType.java
src/org/eclipse/imp/pdb/facts/type/BoolType.java
src/org/eclipse/imp/pdb/facts/type/ConstructorType.java
src/org/eclipse/imp/pdb/facts/type/DateTimeType.java
src/org/eclipse/imp/pdb/facts/type/DefaultSubtypeOfValue.java
src/org/eclipse/imp/pdb/facts/type/DefaultTypeVisitor.java
src/org/eclipse/imp/pdb/facts/type/ExternalType.java
src/org/eclipse/imp/pdb/facts/type/ITypeVisitor.java
src/org/eclipse/imp/pdb/facts/type/IntegerType.java
src/org/eclipse/imp/pdb/facts/type/ListType.java
src/org/eclipse/imp/pdb/facts/type/MapType.java
src/org/eclipse/imp/pdb/facts/type/NodeType.java
src/org/eclipse/imp/pdb/facts/type/NumberType.java
src/org/eclipse/imp/pdb/facts/type/ParameterType.java
src/org/eclipse/imp/pdb/facts/type/RationalType.java
src/org/eclipse/imp/pdb/facts/type/RealType.java
src/org/eclipse/imp/pdb/facts/type/SetType.java
src/org/eclipse/imp/pdb/facts/type/SourceLocationType.java
src/org/eclipse/imp/pdb/facts/type/StringType.java
src/org/eclipse/imp/pdb/facts/type/TupleType.java
src/org/eclipse/imp/pdb/facts/type/Type.java
src/org/eclipse/imp/pdb/facts/type/TypeFactory.java
src/org/eclipse/imp/pdb/facts/type/TypeStore.java
src/org/eclipse/imp/pdb/facts/type/ValueType.java
src/org/eclipse/imp/pdb/facts/type/VoidType.java
src/org/eclipse/imp/pdb/facts/util/AbstractImmutableMap.java
src/org/eclipse/imp/pdb/facts/util/AbstractSpecialisedImmutableMap.java
src/org/eclipse/imp/pdb/facts/util/ArrayIterator.java
src/org/eclipse/imp/pdb/facts/util/ImmutableMap.java
src/org/eclipse/imp/pdb/facts/util/IndexedSet.java
src/org/eclipse/imp/pdb/facts/util/ResizingArray.java
src/org/eclipse/imp/pdb/facts/util/RotatingQueue.java
src/org/eclipse/imp/pdb/facts/util/ShareableHashMap.java
src/org/eclipse/imp/pdb/facts/util/ShareableHashSet.java
src/org/eclipse/imp/pdb/facts/util/ShareableList.java
src/org/eclipse/imp/pdb/facts/util/ValueIndexedHashMap.java
src/org/eclipse/imp/pdb/facts/visitors/BottomUpTransformer.java
src/org/eclipse/imp/pdb/facts/visitors/BottomUpVisitor.java
src/org/eclipse/imp/pdb/facts/visitors/IValueVisitor.java
src/org/eclipse/imp/pdb/facts/visitors/IdentityVisitor.java
src/org/eclipse/imp/pdb/facts/visitors/NullVisitor.java
src/org/eclipse/imp/pdb/facts/visitors/VisitorAdapter.java
src/org/eclipse/imp/pdb/facts/visitors/VisitorException.java
test/org/eclipse/imp/pdb/test/AllTests.java
test/org/eclipse/imp/pdb/test/BaseTestAnnotations.java
test/org/eclipse/imp/pdb/test/BaseTestBasicValues.java
test/org/eclipse/imp/pdb/test/BaseTestEquality.java
test/org/eclipse/imp/pdb/test/BaseTestList.java
test/org/eclipse/imp/pdb/test/BaseTestListRelation.java
test/org/eclipse/imp/pdb/test/BaseTestMap.java
test/org/eclipse/imp/pdb/test/BaseTestRandomValues.java
test/org/eclipse/imp/pdb/test/BaseTestRelation.java
test/org/eclipse/imp/pdb/test/BaseTestSet.java
test/org/eclipse/imp/pdb/test/BaseTestValueFactory.java
test/org/eclipse/imp/pdb/test/TestBinaryIO.java
test/org/eclipse/imp/pdb/test/TestIO.java
test/org/eclipse/imp/pdb/test/TestType.java
test/org/eclipse/imp/pdb/test/TestTypeFactory.java
test/org/eclipse/imp/pdb/test/fast/TestAnnotations.java
test/org/eclipse/imp/pdb/test/fast/TestBasicValues.java
test/org/eclipse/imp/pdb/test/fast/TestEquality.java
test/org/eclipse/imp/pdb/test/fast/TestList.java
test/org/eclipse/imp/pdb/test/fast/TestListRelation.java
test/org/eclipse/imp/pdb/test/fast/TestMap.java
test/org/eclipse/imp/pdb/test/fast/TestRandomValues.java
test/org/eclipse/imp/pdb/test/fast/TestRelation.java
test/org/eclipse/imp/pdb/test/fast/TestSet.java
test/org/eclipse/imp/pdb/test/fast/TestValueFactory.java
test/org/eclipse/imp/pdb/test/random/DataGenerator.java
test/org/eclipse/imp/pdb/test/random/RandomGenerator.java
test/org/eclipse/imp/pdb/test/random/RandomIntegerGenerator.java
test/org/eclipse/imp/pdb/test/random/RandomNumberGenerator.java
test/org/eclipse/imp/pdb/test/random/RandomRationalGenerator.java
test/org/eclipse/imp/pdb/test/random/RandomRealGenerator.java
test/org/eclipse/imp/pdb/test/random/RandomTypeGenerator.java
test/org/eclipse/imp/pdb/test/reference/TestAnnotations.java
test/org/eclipse/imp/pdb/test/reference/TestBasicValues.java
test/org/eclipse/imp/pdb/test/reference/TestEquality.java
test/org/eclipse/imp/pdb/test/reference/TestList.java
test/org/eclipse/imp/pdb/test/reference/TestListRelation.java
test/org/eclipse/imp/pdb/test/reference/TestMap.java
test/org/eclipse/imp/pdb/test/reference/TestRandomValues.java
test/org/eclipse/imp/pdb/test/reference/TestRelation.java
test/org/eclipse/imp/pdb/test/reference/TestSet.java
test/org/eclipse/imp/pdb/test/reference/TestValueFactory.java