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;
}
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;
}
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;
}
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;
}
}
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());
}
Aggregations