Java ValueSet类代码示例

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
private Res<AggrValue<SimpleMatrixValue>> matchResultToRes(List<Set<ClassReference>> matchResult){
    //go through and fill in result
    Res<AggrValue<SimpleMatrixValue>> result = Res.newInstance();
    for (Set<ClassReference> values: matchResult){
        HashMap<ClassReference,AggrValue<SimpleMatrixValue>> map = new HashMap<ClassReference,AggrValue<SimpleMatrixValue>>();
        for (ClassReference classRef : values){
            map.put(classRef,new SimpleMatrixValue(null, (PrimitiveClassReference)classRef));
        }
        result.add(ValueSet.newInstance(map));
    }
    return result;
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<SimpleMatrixValue>> caseCellhorzcat(Builtin builtin,
        Args<AggrValue<SimpleMatrixValue>> elements) {
    ValueSet<AggrValue<SimpleMatrixValue>> values = ValueSet.newInstance(elements);
    Shape shape = factory.getShapeFactory().newShapeFromValues( 
            Args.newInstance(factory.newMatrixValue(null, 1),factory.newMatrixValue(null, elements.size())));
    return Res.<AggrValue<SimpleMatrixValue>>newInstance(new CellValue<SimpleMatrixValue>(this.factory, shape, values));
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<SimpleMatrixValue>> caseCellvertcat(Builtin builtin,
        Args<AggrValue<SimpleMatrixValue>> elements) {
    ValueSet<AggrValue<SimpleMatrixValue>> values = ValueSet.newInstance(elements);
    Shape shape = factory.getShapeFactory().newShapeFromValues(
            Args.newInstance(factory.newMatrixValue(null, elements.size()),factory.newMatrixValue(null, 1)));
    return Res.<AggrValue<SimpleMatrixValue>>newInstance(new CellValue<SimpleMatrixValue>(this.factory, shape, values));
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
public static <D extends MatrixValue<D>> FunctionHandle<D> newInstance(FunctionReference function,
        List<ValueSet<AggrValue<D>>> partialValues){
    FunctionHandle<D> result = new FunctionHandle<D>();
    result.function = function;
    result.partialValues = new ArrayList<ValueSet<AggrValue<D>>>(partialValues);
    return result;
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
/**
 * creates cell array with given shape and internal values
 */
public CellValue(AggrValueFactory<D> factory, Shape shape, ValueSet<AggrValue<D>> values){
    super(factory);
    usesMap = false;
    this.values = values;
    this.shape = shape;
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public CellValue<D> cellSubsasgn(Args<AggrValue<D>> indizes, Args<AggrValue<D>> values) {
    if (indizes.isAllConstant() && shape.isConstant()){
        throw new UnsupportedOperationException();
    } else {
        CellValue<D> result = new CellValue<D>(this.factory);
        result.shape = this.shape.growByIndices(indizes);
        result.usesMap = false;
        result.isComplex = this.isComplex;
        result.values = ValueSet.newInstance(values).merge(toSingleValues().values);
        return result;
    }
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
/**
 * returns a cell value where all values are merged into one
 * returns this if this cell value arleady satisfies that condition.
 */
public CellValue<D> toSingleValues(){
    if (!usesMap) return this;
    CellValue<D> result = new CellValue<D>(factory);
    result.usesMap = false;
    ValueSet<AggrValue<D>> values = ValueSet.newInstance();
    for (int i : cellMap.keySet()){
        values = values.merge(result.cellMap.get(i));
    }
    result.values = values;
    return result;
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public StructValue<D> dotSubsasgn(String field, AggrValue<D> value) {
    StructValue<D> result = new StructValue<D>(factory);
    result.structMap = new HashMap<String,ValueSet<AggrValue<D>>>(structMap);
    result.structMap.put(field, ValueSet.newInstance(value));
    return result;
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public ValueSet<AggrValue<D>> dotSubsref(String field) {
    if (structMap.containsKey(field)){
        return structMap.get(field);
    } else {
        throw new UnsupportedOperationException(
                "attempted to access struct with non-existing field "+field);
    }
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public ValueSet<AggrValue<BasicMatrixValue>> arraySubsref(
		Args<AggrValue<BasicMatrixValue>> indizes) {
	return ValueSet.<AggrValue<BasicMatrixValue>> newInstance(
			factory.newMatrixValueFromClassShapeRange(
					getSymbolic()
					, getMatlabClass()
					, shapePropagator.arraySubsref(shape, indizes)
					, null
					, complex)
					);
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<BasicMatrixValue>> caseCellhorzcat(Builtin builtin,
        Args<AggrValue<BasicMatrixValue>> elements) {
    ValueSet<AggrValue<BasicMatrixValue>> values = ValueSet.newInstance(elements);
    Shape shape = factory.getShapeFactory().newShapeFromValues( 
            Args.newInstance(factory.newMatrixValue(null, 1),factory.newMatrixValue(null, elements.size())));
    return Res.<AggrValue<BasicMatrixValue>>newInstance(new CellValue<BasicMatrixValue>(factory, shape, values));
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<BasicMatrixValue>> caseCellvertcat(Builtin builtin,
        Args<AggrValue<BasicMatrixValue>> elements) {
    ValueSet<AggrValue<BasicMatrixValue>> values = ValueSet.newInstance(elements);
    Shape shape = factory.getShapeFactory().newShapeFromValues(
            Args.newInstance(factory.newMatrixValue(null, elements.size()),factory.newMatrixValue(null, 1)));
    return Res.<AggrValue<BasicMatrixValue>>newInstance(new CellValue<BasicMatrixValue>(factory, shape, values));
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<AdvancedMatrixValue>> caseCellhorzcat(Builtin builtin,
		Args<AggrValue<AdvancedMatrixValue>> elements) {
	ValueSet<AggrValue<AdvancedMatrixValue>> values = ValueSet
			.newInstance(elements);
	Shape shape = factory.getShapeFactory()
			.newShapeFromValues(
					Args.newInstance(factory.newMatrixValue(null, 1),
							factory.newMatrixValue(null, elements.size())));
	return Res
			.<AggrValue<AdvancedMatrixValue>> newInstance(new CellValue<AdvancedMatrixValue>(
					this.factory, shape, values));
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<AdvancedMatrixValue>> caseCellvertcat(Builtin builtin,
		Args<AggrValue<AdvancedMatrixValue>> elements) {
	ValueSet<AggrValue<AdvancedMatrixValue>> values = ValueSet
			.newInstance(elements);
	Shape shape = factory.getShapeFactory()
			.newShapeFromValues(
					Args.newInstance(
							factory.newMatrixValue(null, elements.size()),
							factory.newMatrixValue(null, 1)));
	return Res
			.<AggrValue<AdvancedMatrixValue>> newInstance(new CellValue<AdvancedMatrixValue>(
					this.factory, shape, values));
}
 

import natlab.tame.valueanalysis.ValueSet; //导入依赖的package包/类
@Override
public Res<AggrValue<AdvancedMatrixValue>> caseCell(Builtin builtin,
		Args<AggrValue<AdvancedMatrixValue>> arg) {
	return Res
			.<AggrValue<AdvancedMatrixValue>> newInstance(new CellValue<AdvancedMatrixValue>(
					this.factory, factory.getShapeFactory()
							.newShapeFromValues(arg), ValueSet
							.<AggrValue<AdvancedMatrixValue>> newInstance()));
}