Java IValueFactory.setWriter方法代码示例

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet closure(IValueFactory vf, ISet rel1) {
	if (rel1.getElementType() == TF.voidType())
		return rel1;
	if (!isBinary(rel1))
		throw new IllegalOperationException("closure", rel1.getType());

	Type tupleElementType = rel1.getElementType().getFieldType(0).lub(rel1.getElementType().getFieldType(1));
	Type tupleType = TF.tupleType(tupleElementType, tupleElementType);

	java.util.Set<IValue> closureDelta = computeClosureDelta(vf, rel1, tupleType);

	// NOTE: type is already known, thus, using a SetWriter degrades performance
	ISetWriter resultWriter = vf.setWriter(tupleType);
	resultWriter.insertAll(rel1);
	resultWriter.insertAll(closureDelta);

	return resultWriter.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
@Test
	public void testEqualityAfterInsertDelete() {
		IValueFactory valueFactory = ValueFactory.getInstance();
		int size = 50;
				
		ISetWriter writer1 = valueFactory.setWriter();
		ISetWriter writer2 = valueFactory.setWriter();
		
		for (int i = size; i > 0; i--) {
			writer1.insert(valueFactory.integer(i));
			writer2.insert(valueFactory.integer(i));
		}
		
		ISet testSet = writer1.done();
		ISet testSetDuplicate = writer2.done();
	
//		IValue VALUE_EXISTING = valueFactory.integer(size - 1);
		IValue VALUE_NOT_EXISTING = valueFactory.integer(size + 1);

		testSetDuplicate = testSet.insert(VALUE_NOT_EXISTING);
		testSetDuplicate = testSetDuplicate.delete(VALUE_NOT_EXISTING);
		
		boolean equals = testSet.equals(testSetDuplicate);
		
		assertTrue (equals);
	}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
private static ISet immutableSetOfMapsToSetOfMapValues(
				ImmutableSet<ImmutableMap<IConstructor, ImmutableSet<IConstructor>>> result) {
	// convert back to PDB for serialization
	IValueFactory vf = org.eclipse.imp.pdb.facts.impl.persistent.ValueFactory.getInstance();

	ISetWriter resultBuilder = vf.setWriter();

	for (ImmutableMap<IConstructor, ImmutableSet<IConstructor>> dominatorResult : result) {
		IMapWriter builder = vf.mapWriter();

		for (Map.Entry<IConstructor, ImmutableSet<IConstructor>> entry : dominatorResult
						.entrySet()) {
			builder.put(entry.getKey(), immutableSetToPdbSet(entry.getValue()));
		}

		resultBuilder.insert(builder.done());
	}

	return resultBuilder.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet intersect(IValueFactory vf, ISet set1, ISet set2) {
	if (set1 == set2)
		return set1;
	
	ISetWriter w = vf.setWriter();
	
	for (IValue v : set1) {
		if (set2.contains(v)) {
			w.insert(v);
		}
	}
	
	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet union(IValueFactory vf, ISet set1, ISet set2) {
	if (set1 == set2)
		return set1;
	
	ISetWriter w = vf.setWriter();
	w.insertAll(set1);
	w.insertAll(set2);
	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet subtract(IValueFactory vf, ISet set1, ISet set2) {
	if (set1 == set2)
		return vf.set();
	
	ISetWriter sw = vf.setWriter();
	for (IValue a : set1) {
		if (!set2.contains(a)) {
			sw.insert(a);
		}
	}
	return sw.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet delete(IValueFactory vf, ISet set1, IValue v) {
	ISetWriter w = vf.setWriter();

	boolean deleted = false;
	for (Iterator<IValue> iterator = set1.iterator(); iterator.hasNext();) {
		IValue e = iterator.next();

		if (!deleted && e.isEqual(v)) {
			deleted = true; // skip first occurrence
		} else {
			w.insert(e);
		}
	}
	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet product(IValueFactory vf, ISet set1, ISet set2) {
	ISetWriter w = vf.setWriter();

	for (IValue t1 : set1) {
		for (IValue t2 : set2) {
			ITuple t3 = vf.tuple(t1, t2);
			w.insert(t3);
		}
	}

	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet carrier(IValueFactory vf, ISet set1) {
	ISetWriter w = vf.setWriter();

	for (IValue t : set1) {
		w.insertAll((ITuple) t);
	}

	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet closureStar(IValueFactory vf, ISet rel1) {
	if (rel1.getElementType() == TF.voidType())
		return rel1;
	if (!isBinary(rel1))
		throw new IllegalOperationException("closureStar", rel1.getType());

	Type tupleElementType = rel1.getElementType().getFieldType(0).lub(rel1.getElementType().getFieldType(1));
	Type tupleType = TF.tupleType(tupleElementType, tupleElementType);

	// calculate
	ShareableValuesHashSet closureDelta = computeClosureDelta(vf, rel1, tupleType);
	ISet carrier = carrier(vf, rel1);

	// aggregate result
	// NOTE: type is already known, thus, using a SetWriter degrades performance
	ISetWriter resultWriter = vf.setWriter(rel1.getElementType());
	resultWriter.insertAll(rel1);
	resultWriter.insertAll(closureDelta);
	
	Iterator<IValue> carrierIterator = carrier.iterator();
	while (carrierIterator.hasNext()) {
		IValue element = carrierIterator.next();
		resultWriter.insert(vf.tuple(tupleType, element, element));
	}

	return resultWriter.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet domain(IValueFactory vf, ISet set1) {
	int columnIndex = 0;
	ISetWriter w = vf.setWriter();

	for (IValue elem : set1) {
		ITuple tuple = (ITuple) elem;
		w.insert(tuple.get(columnIndex));
	}
	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet range(IValueFactory vf, ISet set1) {
	int columnIndex = set1.getType().getArity() - 1;
	ISetWriter w = vf.setWriter();

	for (IValue elem : set1) {
		ITuple tuple = (ITuple) elem;
		w.insert(tuple.get(columnIndex));
	}

	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet project(IValueFactory vf, ISet set1, int... fields) {
	ISetWriter w = vf.setWriter();

	for (IValue v : set1) {
		w.insert(((ITuple) v).select(fields));
	}

	return w.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
private static <K extends IValue> ISet immutableSetToPdbSet(ImmutableSet<K> set) {
	IValueFactory vf = org.eclipse.imp.pdb.facts.impl.persistent.ValueFactory.getInstance();

	ISetWriter builder = vf.setWriter();

	for (K key : set) {
		builder.insert(key);
	}

	return builder.done();
}
 

import org.eclipse.imp.pdb.facts.IValueFactory; //导入方法依赖的package包/类
public static ISet insert(IValueFactory vf, ISet set1, IValue e) {
	ISetWriter sw = vf.setWriter();
	sw.insertAll(set1);
	sw.insert(e);
	return sw.done();
}