use of org.eclipse.titan.designer.AST.TTCN3.templates.TTCN3Template in project titan.EclipsePlug-ins by eclipse.
the class SizeOfExpression method generateCodeExpressionExpression.
@Override
public /**
* {@inheritDoc}
*/
void generateCodeExpressionExpression(final JavaGenData aData, final ExpressionStruct expression) {
final TTCN3Template templateBody = templateInstance.getTemplateBody();
// FIXME actually a bit more complex
if (templateInstance.getDerivedReference() == null && Template_type.SPECIFIC_VALUE.equals(templateBody.getTemplatetype()) && ((SpecificValue_Template) templateBody).isValue(CompilationTimeStamp.getBaseTimestamp())) {
final IValue value = ((SpecificValue_Template) templateBody).getValue();
// FIXME implement support for cast
value.generateCodeExpressionMandatory(aData, expression, true);
} else {
templateInstance.generateCode(aData, expression, Restriction_type.TR_NONE);
}
expression.expression.append(".sizeOf()");
}
use of org.eclipse.titan.designer.AST.TTCN3.templates.TTCN3Template in project titan.EclipsePlug-ins by eclipse.
the class IsBoundExpression method evaluateValue.
@Override
public /**
* {@inheritDoc}
*/
IValue evaluateValue(final CompilationTimeStamp timestamp, final Expected_Value_type expectedValue, final IReferenceChain referenceChain) {
if (lastTimeChecked != null && !lastTimeChecked.isLess(timestamp)) {
return lastValue;
}
isErroneous = false;
lastTimeChecked = timestamp;
lastValue = this;
if (templateInstance == null) {
return lastValue;
}
checkExpressionOperands(timestamp, expectedValue, referenceChain);
if (getIsErroneous(timestamp)) {
return lastValue;
}
if (isUnfoldable(timestamp, referenceChain)) {
return lastValue;
}
ITTCN3Template template = templateInstance.getTemplateBody();
template = template.getTemplateReferencedLast(timestamp);
boolean result = false;
if (template.getTemplatetype() == Template_type.TEMPLATE_REFD) {
final TTCN3Template last = template.getTemplateReferencedLast(timestamp);
if (last != null && Template_type.SPECIFIC_VALUE.equals(last.getTemplatetype())) {
result = ((SpecificValue_Template) last).getValue().evaluateIsbound(timestamp, ((Referenced_Template) template).getReference(), 1);
}
} else if (template.getTemplatetype() == Template_type.SPECIFIC_VALUE) {
final IValue value = ((SpecificValue_Template) template).getValue();
if (value.getValuetype() == Value_type.REFERENCED_VALUE) {
result = value.evaluateIsbound(timestamp, ((Referenced_Value) value).getReference(), 1);
} else {
result = !value.getIsErroneous(timestamp);
}
}
lastValue = new Boolean_Value(result);
lastValue.copyGeneralProperties(this);
return lastValue;
}
use of org.eclipse.titan.designer.AST.TTCN3.templates.TTCN3Template in project titan.EclipsePlug-ins by eclipse.
the class IsBoundExpression method isUnfoldable.
@Override
public /**
* {@inheritDoc}
*/
boolean isUnfoldable(final CompilationTimeStamp timestamp, final Expected_Value_type expectedValue, final IReferenceChain referenceChain) {
if (templateInstance == null) {
return true;
}
final ITTCN3Template template = templateInstance.getTemplateBody().setLoweridToReference(timestamp);
if (templateInstance.getDerivedReference() != null) {
return true;
}
if (Template_type.SPECIFIC_VALUE.equals(template.getTemplatetype())) {
final IValue specificValue = ((SpecificValue_Template) template).getValue();
if (Value_type.REFERENCED_VALUE.equals(specificValue.getValuetype())) {
final Reference reference = ((Referenced_Value) specificValue).getReference();
final Assignment ass = reference.getRefdAssignment(timestamp, false);
if (ass == null) {
return true;
}
switch(ass.getAssignmentType()) {
case A_OBJECT:
case A_OS:
case A_CONST:
case A_EXT_CONST:
case A_MODULEPAR:
case A_VAR:
case A_FUNCTION_RVAL:
case A_EXT_FUNCTION_RVAL:
case A_PAR_VAL:
case A_PAR_VAL_IN:
case A_PAR_VAL_OUT:
case A_PAR_VAL_INOUT:
break;
default:
return true;
}
// TODO improve to better detect unbound
// elements
final IValue last = specificValue.getValueRefdLast(timestamp, expectedValue, null);
if (last == null) {
return true;
}
if (last == this) {
return getIsErroneous(timestamp);
}
return last.isUnfoldable(timestamp, expectedValue, referenceChain);
}
return specificValue.isUnfoldable(timestamp, expectedValue, referenceChain);
} else if (Template_type.TEMPLATE_REFD.equals(template.getTemplatetype())) {
final Reference reference = ((Referenced_Template) template).getReference();
final Assignment ass = reference.getRefdAssignment(timestamp, true);
if (ass == null) {
return true;
}
switch(ass.getAssignmentType()) {
case A_TEMPLATE:
break;
default:
return true;
}
// TODO improve to better detect unbound elements
final TTCN3Template last = template.getTemplateReferencedLast(timestamp);
if (last == null) {
return true;
}
if (last == template) {
return last.getIsErroneous(timestamp);
}
if (Template_type.SPECIFIC_VALUE.equals(last.getTemplatetype())) {
return ((SpecificValue_Template) last).getValue().isUnfoldable(timestamp, expectedValue, referenceChain);
}
}
return true;
}
use of org.eclipse.titan.designer.AST.TTCN3.templates.TTCN3Template in project titan.EclipsePlug-ins by eclipse.
the class IsBoundExpression method generateCodeExpressionExpression.
@Override
public /**
* {@inheritDoc}
*/
void generateCodeExpressionExpression(final JavaGenData aData, final ExpressionStruct expression) {
final TTCN3Template template = templateInstance.getTemplateBody();
if (Template_type.SPECIFIC_VALUE.equals(template.getTemplatetype())) {
final IValue value = ((SpecificValue_Template) template).getSpecificValue();
if (Value_type.REFERENCED_VALUE.equals(value.getValuetype())) {
final Reference reference = ((Referenced_Value) value).getReference();
if (reference != null) {
final Assignment assignment = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), false);
if (assignment != null) {
switch(assignment.getAssignmentType()) {
case A_TEMPLATE:
case A_VAR_TEMPLATE:
case A_MODULEPAR_TEMPLATE:
case A_EXT_FUNCTION_RTEMP:
case A_FUNCTION_RTEMP:
case A_PAR_TEMP_IN:
case A_PAR_TEMP_OUT:
case A_PAR_TEMP_INOUT:
reference.generateCodeIsPresentBoundChosen(aData, expression, true, getOperationType(), null);
return;
default:
break;
}
}
reference.generateCodeIsPresentBoundChosen(aData, expression, false, getOperationType(), null);
return;
}
} else {
// FIXME cast_needed case
value.generateCodeExpressionMandatory(aData, expression, true);
}
} else if (Template_type.TEMPLATE_REFD.equals(template.getTemplatetype())) {
final Reference reference = ((Referenced_Template) template).getReference();
if (reference != null) {
reference.generateCodeIsPresentBoundChosen(aData, expression, true, getOperationType(), null);
return;
}
} else {
templateInstance.generateCode(aData, expression, Restriction_type.TR_NONE);
}
expression.expression.append(".isBound()");
}
use of org.eclipse.titan.designer.AST.TTCN3.templates.TTCN3Template in project titan.EclipsePlug-ins by eclipse.
the class IsPresentExpression method evaluateValue.
@Override
public /**
* {@inheritDoc}
*/
IValue evaluateValue(final CompilationTimeStamp timestamp, final Expected_Value_type expectedValue, final IReferenceChain referenceChain) {
if (lastTimeChecked != null && !lastTimeChecked.isLess(timestamp)) {
return lastValue;
}
isErroneous = false;
lastTimeChecked = timestamp;
lastValue = this;
if (templateInstance == null) {
return lastValue;
}
checkExpressionOperands(timestamp, expectedValue, referenceChain);
if (getIsErroneous(timestamp)) {
return lastValue;
}
if (isUnfoldable(timestamp, referenceChain)) {
return lastValue;
}
ITTCN3Template template = templateInstance.getTemplateBody();
if (template.getIfPresent()) {
lastValue = new Boolean_Value(false);
lastValue.copyGeneralProperties(this);
return lastValue;
}
template = template.getTemplateReferencedLast(timestamp);
if (template.getIfPresent()) {
lastValue = new Boolean_Value(false);
lastValue.copyGeneralProperties(this);
return lastValue;
}
boolean result = false;
if (template.getTemplatetype() == Template_type.TEMPLATE_REFD) {
final TTCN3Template last = template.getTemplateReferencedLast(timestamp);
if (last != null && Template_type.SPECIFIC_VALUE.equals(last.getTemplatetype())) {
result = ((SpecificValue_Template) last).getValue().evaluateIspresent(timestamp, ((Referenced_Template) template).getReference(), 1);
}
} else if (template.getTemplatetype() == Template_type.SPECIFIC_VALUE) {
final IValue value = ((SpecificValue_Template) template).getValue();
if (value.getValuetype() == Value_type.REFERENCED_VALUE) {
result = value.evaluateIspresent(timestamp, ((Referenced_Value) value).getReference(), 1);
} else if (value.getValuetype() == Value_type.OMIT_VALUE) {
result = false;
} else {
result = !value.getIsErroneous(timestamp);
}
}
lastValue = new Boolean_Value(result);
lastValue.copyGeneralProperties(this);
return lastValue;
}
Aggregations