Search in sources :

Example 71 with IValue

use of org.eclipse.titan.designer.AST.IValue in project titan.EclipsePlug-ins by eclipse.

the class SequenceOf_Value method generateCodeInit.

@Override
public /**
 * {@inheritDoc}
 */
StringBuilder generateCodeInit(final JavaGenData aData, final StringBuilder source, final String name) {
    if (convertedValue != null) {
        return convertedValue.generateCodeInit(aData, source, name);
    }
    if (isIndexed()) {
        final int nofIndexedValues = values.getNofIndexedValues();
        if (nofIndexedValues == 0) {
            aData.addBuiltinTypeImport("TitanNull_Type");
            source.append(MessageFormat.format("{0}.assign(TitanNull_Type.NULL_VALUE);\n", name));
        } else {
            final IType ofType = values.getIndexedValueByIndex(0).getValue().getMyGovernor();
            final String ofTypeName = ofType.getGenNameValue(aData, source, myScope);
            for (int i = 0; i < nofIndexedValues; i++) {
                final IndexedValue indexedValue = values.getIndexedValueByIndex(i);
                final String tempId1 = aData.getTemporaryVariableName();
                source.append("{\n");
                final Value index = indexedValue.getIndex().getValue();
                if (index.getValuetype().equals(Value_type.INTEGER_VALUE)) {
                    source.append(MessageFormat.format("{0} {1} = {2}.getAt({3});\n", ofTypeName, tempId1, name, ((Integer_Value) index).getValue()));
                } else {
                    final String tempId2 = aData.getTemporaryVariableName();
                    source.append(MessageFormat.format("TitanInteger {0} = new TitanInteger();\n", tempId2));
                    index.generateCodeInit(aData, source, tempId2);
                    source.append(MessageFormat.format("{0} {1} = {2}.getAt({3});\n", ofTypeName, tempId1, name, tempId2));
                }
                indexedValue.getValue().generateCodeInit(aData, source, tempId1);
                source.append("}\n");
            }
        }
    } else {
        final int nofValues = values.getNofValues();
        if (nofValues == 0) {
            aData.addBuiltinTypeImport("TitanNull_Type");
            source.append(MessageFormat.format("{0}.assign(TitanNull_Type.NULL_VALUE);\n", name));
        } else {
            source.append(MessageFormat.format("{0}.setSize({1});\n", name, nofValues));
            final IType ofType = values.getValueByIndex(0).getMyGovernor();
            ofType.getGenNameValue(aData, source, myScope);
            for (int i = 0; i < nofValues; i++) {
                final IValue value = values.getValueByIndex(i);
                if (value.getValuetype().equals(Value_type.NOTUSED_VALUE)) {
                    continue;
                } else // FIXME needs temporary reference branch (needs_temp_ref function missing)
                {
                    final String embeddedName = MessageFormat.format("{0}.getAt({1})", name, i);
                    value.generateCodeInit(aData, source, embeddedName);
                }
            }
        }
    }
    return source;
}
Also used : IValue(org.eclipse.titan.designer.AST.IValue) Value(org.eclipse.titan.designer.AST.Value) IValue(org.eclipse.titan.designer.AST.IValue) IType(org.eclipse.titan.designer.AST.IType)

Example 72 with IValue

use of org.eclipse.titan.designer.AST.IValue in project titan.EclipsePlug-ins by eclipse.

the class SetOf_Value method isUnfoldable.

@Override
public /**
 * {@inheritDoc}
 */
boolean isUnfoldable(final CompilationTimeStamp timestamp, final Expected_Value_type expectedValue, final IReferenceChain referenceChain) {
    if (values.isIndexed()) {
        for (int i = 0, size = values.getNofIndexedValues(); i < size; i++) {
            final IndexedValue temp = values.getIndexedValueByIndex(i);
            final IValue tempValue = temp.getValue();
            if (tempValue == null || tempValue.isUnfoldable(timestamp, expectedValue, referenceChain)) {
                return true;
            }
        }
    } else {
        for (int i = 0, size = values.getNofValues(); i < size; i++) {
            if (values.getValueByIndex(i).isUnfoldable(timestamp, expectedValue, referenceChain)) {
                return true;
            }
        }
    }
    return false;
}
Also used : IValue(org.eclipse.titan.designer.AST.IValue)

Example 73 with IValue

use of org.eclipse.titan.designer.AST.IValue in project titan.EclipsePlug-ins by eclipse.

the class SetOf_Value method checkEquality.

@Override
public /**
 * {@inheritDoc}
 */
boolean checkEquality(final CompilationTimeStamp timestamp, final IValue other) {
    final IReferenceChain referenceChain = ReferenceChain.getInstance(IReferenceChain.CIRCULARREFERENCE, true);
    final IValue last = other.getValueRefdLast(timestamp, referenceChain);
    referenceChain.release();
    if (!Value_type.SETOF_VALUE.equals(last.getValuetype())) {
        return false;
    }
    final SetOf_Value otherSetof = (SetOf_Value) last;
    if (isIndexed()) {
        if (otherSetof.isIndexed()) {
            if (values.getNofIndexedValues() != otherSetof.values.getNofIndexedValues()) {
                return false;
            }
            final List<Integer> indicesuncovered = new ArrayList<Integer>();
            for (int i = 0; i < values.getNofIndexedValues(); i++) {
                indicesuncovered.add(i);
            }
            for (int i = values.getNofIndexedValues() - 1; i >= 0; i--) {
                final IndexedValue localTemp = values.getIndexedValueByIndex(i);
                boolean found = false;
                for (int j = indicesuncovered.size() - 1; j >= 0 && !found; j--) {
                    final IValue otherTemp = otherSetof.values.getIndexedValueByRealIndex(indicesuncovered.get(j));
                    if (localTemp.getValue().checkEquality(timestamp, otherTemp)) {
                        found = true;
                        indicesuncovered.remove(j);
                    }
                }
                if (!found) {
                    return false;
                }
            }
        } else {
            if (values.getNofIndexedValues() != otherSetof.values.getNofValues()) {
                return false;
            }
            final List<Integer> indicesuncovered = new ArrayList<Integer>();
            for (int i = 0; i < values.getNofIndexedValues(); i++) {
                indicesuncovered.add(i);
            }
            for (int i = values.getNofIndexedValues() - 1; i >= 0; i--) {
                final IndexedValue localTemp = values.getIndexedValueByIndex(i);
                boolean found = false;
                for (int j = indicesuncovered.size() - 1; j >= 0 && !found; j--) {
                    final IValue otherTemp = otherSetof.values.getValueByIndex(indicesuncovered.get(j));
                    if (localTemp.getValue().checkEquality(timestamp, otherTemp)) {
                        found = true;
                        indicesuncovered.remove(j);
                    }
                }
                if (!found) {
                    return false;
                }
            }
        }
    } else {
        if (otherSetof.isIndexed()) {
            if (values.getNofValues() != otherSetof.values.getNofIndexedValues()) {
                return false;
            }
            final List<Integer> indicesuncovered = new ArrayList<Integer>();
            for (int i = 0; i < values.getNofValues(); i++) {
                indicesuncovered.add(i);
            }
            for (int i = 0, size = values.getNofValues(); i < size; i++) {
                final IValue localTemp = values.getValueByIndex(i);
                boolean found = false;
                for (int j = indicesuncovered.size() - 1; j >= 0 && !found; j--) {
                    final IndexedValue otherTemp = otherSetof.values.getIndexedValueByIndex(indicesuncovered.get(j));
                    if (localTemp.checkEquality(timestamp, otherTemp.getValue())) {
                        found = true;
                        indicesuncovered.remove(j);
                    }
                }
                if (!found) {
                    return false;
                }
            }
        } else {
            if (values.getNofValues() != otherSetof.values.getNofValues()) {
                return false;
            }
            final List<Integer> indicesuncovered = new ArrayList<Integer>();
            for (int i = 0; i < values.getNofValues(); i++) {
                indicesuncovered.add(i);
            }
            for (int i = 0, size = values.getNofValues(); i < size; i++) {
                final IValue localTemp = values.getValueByIndex(i);
                boolean found = false;
                for (int j = indicesuncovered.size() - 1; j >= 0 && !found; j--) {
                    final IValue otherTemp = otherSetof.values.getValueByIndex(indicesuncovered.get(j));
                    if (localTemp.checkEquality(timestamp, otherTemp)) {
                        found = true;
                        indicesuncovered.remove(j);
                    }
                }
                if (!found) {
                    return false;
                }
            }
        }
    }
    return true;
}
Also used : BigInteger(java.math.BigInteger) IValue(org.eclipse.titan.designer.AST.IValue) IReferenceChain(org.eclipse.titan.designer.AST.IReferenceChain) ArrayList(java.util.ArrayList)

Example 74 with IValue

use of org.eclipse.titan.designer.AST.IValue in project titan.EclipsePlug-ins by eclipse.

the class SetOf_Value method getReferencedSubValue.

@Override
public /**
 * {@inheritDoc}
 */
IValue getReferencedSubValue(final CompilationTimeStamp timestamp, final Reference reference, final int actualSubReference, final IReferenceChain refChain) {
    final List<ISubReference> subreferences = reference.getSubreferences();
    if (getIsErroneous(timestamp) || subreferences.size() <= actualSubReference) {
        return this;
    }
    final IType type = myGovernor.getTypeRefdLast(timestamp);
    if (type.getIsErroneous(timestamp)) {
        return null;
    }
    final ISubReference subreference = subreferences.get(actualSubReference);
    switch(subreference.getReferenceType()) {
        case arraySubReference:
            final Value arrayIndex = ((ArraySubReference) subreference).getValue();
            final IValue valueIndex = arrayIndex.getValueRefdLast(timestamp, refChain);
            if (valueIndex.isUnfoldable(timestamp)) {
                return null;
            }
            if (Value_type.INTEGER_VALUE.equals(valueIndex.getValuetype())) {
                final BigInteger index = ((Integer_Value) valueIndex).getValueValue();
                if (index.compareTo(BigInteger.ZERO) == -1) {
                    arrayIndex.getLocation().reportSemanticError(MessageFormat.format(NONNEGATIVEINDEXEXPECTED, index, type.getTypename()));
                    return null;
                }
                if (isIndexed()) {
                    for (int i = 0; i < values.getNofIndexedValues(); i++) {
                        IValue indexedValue = values.getIndexedValueByIndex(i).getIndex().getValue();
                        indexedValue = indexedValue.getValueRefdLast(timestamp, refChain);
                        if (Value_type.INTEGER_VALUE.equals(indexedValue.getValuetype()) && ((Integer_Value) indexedValue).getValueValue().compareTo(index) == 0) {
                            return values.getIndexedValueByIndex(i).getValue().getReferencedSubValue(timestamp, reference, actualSubReference + 1, refChain);
                        }
                    }
                    arrayIndex.getLocation().reportSemanticError(MessageFormat.format(NOINDEX, index, values.getFullName()));
                } else if (index.compareTo(BigInteger.valueOf(values.getNofValues())) >= 0) {
                    arrayIndex.getLocation().reportSemanticError(MessageFormat.format(INDEXOVERFLOW, type.getTypename(), index, values.getNofValues()));
                } else {
                    return values.getValueByIndex(index.intValue()).getReferencedSubValue(timestamp, reference, actualSubReference + 1, refChain);
                }
                return null;
            }
            arrayIndex.getLocation().reportSemanticError(ArraySubReference.INTEGERINDEXEXPECTED);
            return null;
        case fieldSubReference:
            subreference.getLocation().reportSemanticError(MessageFormat.format(FieldSubReference.INVALIDSUBREFERENCE, ((FieldSubReference) subreference).getId().getDisplayName(), type.getTypename()));
            return null;
        case parameterisedSubReference:
            subreference.getLocation().reportSemanticError(ParameterisedSubReference.INVALIDVALUESUBREFERENCE);
            return null;
        default:
            subreference.getLocation().reportSemanticError(ISubReference.INVALIDSUBREFERENCE);
            return null;
    }
}
Also used : ISubReference(org.eclipse.titan.designer.AST.ISubReference) IValue(org.eclipse.titan.designer.AST.IValue) Value(org.eclipse.titan.designer.AST.Value) IValue(org.eclipse.titan.designer.AST.IValue) BigInteger(java.math.BigInteger) IType(org.eclipse.titan.designer.AST.IType) ArraySubReference(org.eclipse.titan.designer.AST.ArraySubReference)

Example 75 with IValue

use of org.eclipse.titan.designer.AST.IValue in project titan.EclipsePlug-ins by eclipse.

the class Hexstring_Value method checkEquality.

@Override
public /**
 * {@inheritDoc}
 */
boolean checkEquality(final CompilationTimeStamp timestamp, final IValue other) {
    final IReferenceChain referenceChain = ReferenceChain.getInstance(IReferenceChain.CIRCULARREFERENCE, true);
    final IValue last = other.getValueRefdLast(timestamp, referenceChain);
    referenceChain.release();
    return Value_type.HEXSTRING_VALUE.equals(last.getValuetype()) && value.equals(((Hexstring_Value) last).getValue());
}
Also used : IValue(org.eclipse.titan.designer.AST.IValue) IReferenceChain(org.eclipse.titan.designer.AST.IReferenceChain)

Aggregations

IValue (org.eclipse.titan.designer.AST.IValue)431 IReferenceChain (org.eclipse.titan.designer.AST.IReferenceChain)105 IType (org.eclipse.titan.designer.AST.IType)97 Type_type (org.eclipse.titan.designer.AST.IType.Type_type)79 Integer_Value (org.eclipse.titan.designer.AST.TTCN3.values.Integer_Value)78 ISubReference (org.eclipse.titan.designer.AST.ISubReference)49 Charstring_Value (org.eclipse.titan.designer.AST.TTCN3.values.Charstring_Value)41 Value (org.eclipse.titan.designer.AST.Value)35 Identifier (org.eclipse.titan.designer.AST.Identifier)34 ITTCN3Template (org.eclipse.titan.designer.AST.TTCN3.templates.ITTCN3Template)33 Assignment (org.eclipse.titan.designer.AST.Assignment)30 Real_Value (org.eclipse.titan.designer.AST.TTCN3.values.Real_Value)28 Octetstring_Value (org.eclipse.titan.designer.AST.TTCN3.values.Octetstring_Value)26 ArraySubReference (org.eclipse.titan.designer.AST.ArraySubReference)25 Reference (org.eclipse.titan.designer.AST.Reference)25 Bitstring_Value (org.eclipse.titan.designer.AST.TTCN3.values.Bitstring_Value)23 ValueCheckingOptions (org.eclipse.titan.designer.AST.IType.ValueCheckingOptions)22 Hexstring_Value (org.eclipse.titan.designer.AST.TTCN3.values.Hexstring_Value)22 SpecificValue_Template (org.eclipse.titan.designer.AST.TTCN3.templates.SpecificValue_Template)21 Boolean_Value (org.eclipse.titan.designer.AST.TTCN3.values.Boolean_Value)21