use of org.eclipse.titan.designer.AST.Assignment in project titan.EclipsePlug-ins by eclipse.
the class Altstep_Instance_Statement method check.
@Override
public /**
* {@inheritDoc}
*/
void check(final CompilationTimeStamp timestamp) {
if (lastTimeChecked != null && !lastTimeChecked.isLess(timestamp)) {
return;
}
lastTimeChecked = timestamp;
final Assignment assignment = reference.getRefdAssignment(timestamp, true);
if (assignment == null) {
return;
}
if (myStatementBlock != null) {
myStatementBlock.checkRunsOnScope(timestamp, assignment, reference, "call");
}
}
use of org.eclipse.titan.designer.AST.Assignment in project titan.EclipsePlug-ins by eclipse.
the class Assignment_Statement method check.
@Override
public /**
* {@inheritDoc}
*/
void check(final CompilationTimeStamp timestamp) {
if (lastTimeChecked != null && !lastTimeChecked.isLess(timestamp)) {
return;
}
lastTimeChecked = timestamp;
isErroneous = false;
selfReference = false;
templateRestriction = Restriction_type.TR_NONE;
generateRestrictionCheck = false;
if (reference == null) {
return;
}
reference.setUsedOnLeftHandSide();
final Assignment assignment = reference.getRefdAssignment(timestamp, true);
if (assignment == null || assignment.getIsErroneous()) {
isErroneous = true;
return;
}
if (template == null) {
return;
}
switch(assignment.getAssignmentType()) {
case A_PAR_VAL_IN:
((FormalParameter) assignment).useAsLValue(reference);
if (template.isValue(timestamp)) {
// TODO: isValue should be checked within the previous line! This is double check!
final IValue temporalValue = template.getValue();
checkVarAssignment(timestamp, assignment, temporalValue);
template.setMyGovernor(temporalValue.getMyGovernor());
break;
} else if (Template_type.VALUE_LIST.equals(template.getTemplatetype()) && ((ValueList_Template) template).getNofTemplates() == 1) {
// TODO: convert (x) to x to compilation!
break;
} else {
template.getLocation().reportSemanticError(TEMPLATEASSIGNMENTTOVALUE);
template.setIsErroneous(true);
return;
}
case A_PAR_VAL_OUT:
case A_PAR_VAL_INOUT:
case A_PAR_VAL:
((FormalParameter) assignment).setWritten();
if (template.isValue(timestamp)) {
// TODO: isValue should be checked within the previous line! This is double check!
final IValue temporalValue = template.getValue();
checkVarAssignment(timestamp, assignment, temporalValue);
template.setMyGovernor(temporalValue.getMyGovernor());
break;
} else if (Template_type.VALUE_LIST.equals(template.getTemplatetype()) && ((ValueList_Template) template).getNofTemplates() == 1) {
// TODO: convert (x) to x to compilation!
break;
} else {
template.getLocation().reportSemanticError(TEMPLATEASSIGNMENTTOVALUE);
template.setIsErroneous(true);
return;
}
// break
case A_VAR:
((Def_Var) assignment).setWritten();
if (template.getIsErroneous(timestamp)) {
return;
}
final IValue temporalValue = template.getValue();
if (temporalValue != null) {
checkVarAssignment(timestamp, assignment, temporalValue);
template.setMyGovernor(temporalValue.getMyGovernor());
break;
} else if (Template_type.VALUE_LIST.equals(template.getTemplatetype()) && ((ValueList_Template) template).getNofTemplates() == 1) {
break;
} else {
template.getLocation().reportSemanticError(TEMPLATEASSIGNMENTTOVALUE);
template.setIsErroneous(true);
return;
}
case A_PAR_TEMP_IN:
((FormalParameter) assignment).useAsLValue(reference);
checkTemplateAssignment(timestamp, assignment, Expected_Value_type.EXPECTED_TEMPLATE, null);
break;
case A_PAR_TEMP_OUT:
case A_PAR_TEMP_INOUT:
((FormalParameter) assignment).setWritten();
checkTemplateAssignment(timestamp, assignment, Expected_Value_type.EXPECTED_TEMPLATE, null);
break;
case A_VAR_TEMPLATE:
((Def_Var_Template) assignment).setWritten();
checkTemplateAssignment(timestamp, assignment, Expected_Value_type.EXPECTED_TEMPLATE, null);
break;
default:
reference.getLocation().reportSemanticError(MessageFormat.format(VARIABLEREFERENCEEXPECTED, assignment.getAssignmentName()));
reference.setIsErroneous(true);
isErroneous = true;
}
}
use of org.eclipse.titan.designer.AST.Assignment in project titan.EclipsePlug-ins by eclipse.
the class Assignment_Statement method generateCode.
@Override
public /**
* {@inheritDoc}
*/
void generateCode(final JavaGenData aData, final StringBuilder source) {
if (reference == null || template == null) {
return;
}
final boolean rhsCopied = selfReference;
// TODO this is actually much more complicated
final Assignment assignment = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), true);
if (assignment == null) {
// TODO: handle null
return;
}
boolean isValue;
switch(assignment.getAssignmentType()) {
case A_PAR_VAL_IN:
case A_PAR_VAL_OUT:
case A_PAR_VAL_INOUT:
case A_PAR_VAL:
case A_VAR:
isValue = true;
break;
default:
isValue = false;
break;
}
boolean isOptional = false;
if (assignment.getType(CompilationTimeStamp.getBaseTimestamp()).fieldIsOptional(reference.getSubreferences())) {
isOptional = true;
}
if (isValue) {
final String rhsCopy = aData.getTemporaryVariableName();
String rhsRef = rhsCopy;
if (rhsCopied) {
source.append("{\n");
if (isOptional) {
source.append(MessageFormat.format("Optional<{0}> {1} = new Optional<{0}>({0}.class);\n", template.getMyGovernor().getGenNameValue(aData, source, myScope), rhsCopy));
rhsRef += ".get()";
} else {
source.append(MessageFormat.format("{0} {1} = new {0}();\n", template.getMyGovernor().getGenNameValue(aData, source, myScope), rhsCopy));
}
}
final IValue value = template.getValue();
// TODO handle needs_conv
if (reference.getSubreferences().size() > 1) {
if (value.canGenerateSingleExpression()) {
final ExpressionStruct expression = new ExpressionStruct();
reference.generateCode(aData, expression);
source.append(expression.preamble);
String temp;
IType type = getType(CompilationTimeStamp.getBaseTimestamp(), assignment);
type = type.getFieldType(CompilationTimeStamp.getBaseTimestamp(), reference, 1, Expected_Value_type.EXPECTED_TEMPLATE, false);
// if (value.getValuetype() != Value_type.OMIT_VALUE && (isOptional || type.getTypetypeTtcn3() != value.getExpressionReturntype(CompilationTimeStamp.getBaseTimestamp(), Expected_Value_type.EXPECTED_TEMPLATE))) {
if (value.getValuetype() != Value_type.OMIT_VALUE && value.getValuetype() != Value_type.REFERENCED_VALUE && (isOptional || type.getTypetypeTtcn3() != value.getExpressionReturntype(CompilationTimeStamp.getBaseTimestamp(), Expected_Value_type.EXPECTED_TEMPLATE))) {
temp = MessageFormat.format("new {0}({1})", value.getMyGovernor().getGenNameValue(aData, source, myScope), value.generateSingleExpression(aData));
} else {
temp = value.generateSingleExpression(aData).toString();
}
if (rhsCopied) {
source.append(MessageFormat.format("{0}.assign({1});\n", rhsCopy, temp));
expression.expression.append(MessageFormat.format(".assign({0});\n", rhsCopy));
} else {
expression.expression.append(MessageFormat.format(".assign({0});\n", temp));
}
source.append(expression.expression);
source.append(expression.postamble);
} else {
final String tempID = aData.getTemporaryVariableName();
final String typeGenname = value.getMyGovernor().getGenNameValue(aData, source, myScope);
final ExpressionStruct leftExpression = new ExpressionStruct();
reference.generateCode(aData, leftExpression);
if (rhsCopied) {
// TODO handle needs conversion case
value.generateCodeInit(aData, source, rhsRef);
} else if (isOptional) {
leftExpression.expression.append(".get()");
}
source.append("{\n");
source.append(leftExpression.preamble);
if (reference.refersToStringElement()) {
// LHS is a string element
aData.addBuiltinTypeImport(typeGenname + "_Element");
source.append(MessageFormat.format("{0}_Element {1} = {2};\n", typeGenname, tempID, leftExpression.expression));
} else {
source.append(MessageFormat.format("{0} {1} = {2};\n", typeGenname, tempID, leftExpression.expression));
}
source.append(leftExpression.postamble);
if (rhsCopied) {
source.append(MessageFormat.format("{0}.assign({1});\n", tempID, rhsCopy));
} else {
// TODO handle needs conversion
value.generateCodeInit(aData, source, tempID);
}
source.append("}\n");
}
} else {
// left hand side is a single assignment
final String name = assignment.getGenNameFromScope(aData, source, myScope, null);
if (!isOptional && value.getValuetype() == Value_type.REFERENCED_VALUE) {
final Reference rightReference = ((Referenced_Value) value).getReference();
final Assignment rightAssignment = rightReference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), true);
if (rightAssignment.getType(CompilationTimeStamp.getBaseTimestamp()).fieldIsOptional(rightReference.getSubreferences())) {
value.generateCodeInitMandatory(aData, source, rhsCopied ? rhsCopy : name);
} else {
value.generateCodeInit(aData, source, rhsCopied ? rhsCopy : name);
}
} else {
value.generateCodeInit(aData, source, rhsCopied ? rhsCopy : name);
}
if (rhsCopied) {
source.append(MessageFormat.format("{0}.assign({1});\n", name, rhsCopy));
}
}
if (rhsCopied) {
source.append("}\n");
}
} else {
final String rhsCopy = aData.getTemporaryVariableName();
if (rhsCopied) {
source.append("{\n");
source.append(MessageFormat.format("{0} {1} = new {0}();\n", template.getMyGovernor().getGenNameTemplate(aData, source, myScope), rhsCopy));
}
// TODO handle needs_conv
if (reference.getSubreferences().size() > 1) {
if ((templateRestriction != Restriction_type.TR_NONE || !generateRestrictionCheck) && template.hasSingleExpression()) {
final ExpressionStruct expression = new ExpressionStruct();
reference.generateCode(aData, expression);
source.append(expression.preamble);
if (rhsCopied) {
source.append(MessageFormat.format("{0}.assign({1});\n", rhsCopy, template.getSingleExpression(aData, false)));
expression.expression.append(MessageFormat.format(".assign({0});\n", rhsCopy));
} else {
expression.expression.append(MessageFormat.format(".assign({0});\n", template.getSingleExpression(aData, false)));
}
expression.mergeExpression(source);
} else {
final String tempID = aData.getTemporaryVariableName();
final ExpressionStruct expression = new ExpressionStruct();
reference.generateCode(aData, expression);
if (rhsCopied) {
// TODO handle needs conversion case
template.generateCodeInit(aData, source, rhsCopy);
}
source.append("{\n");
source.append(expression.preamble);
final IType governor = template.getMyGovernor();
source.append(MessageFormat.format("{0} {1} = {2};\n", governor.getGenNameTemplate(aData, source, template.getMyScope()), tempID, expression.expression));
source.append(expression.postamble);
if (rhsCopied) {
source.append(MessageFormat.format("{0}.assign({1});\n", tempID, rhsCopy));
} else {
// TODO handle needs conversion case
if (Type_type.TYPE_SEQUENCE_OF.equals(governor.getTypetype()) || Type_type.TYPE_ARRAY.equals(governor.getTypetype())) {
source.append(MessageFormat.format("{0}.removeAllPermutations();\n", tempID));
}
template.generateCodeInit(aData, source, tempID);
}
if (templateRestriction != Restriction_type.TR_NONE && generateRestrictionCheck) {
TemplateRestriction.generateRestrictionCheckCode(aData, source, location, tempID, templateRestriction);
}
source.append("}\n");
}
} else {
// left hand side is a single assignment
final String rhsName = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), false).getGenNameFromScope(aData, source, myScope, "");
final IType governor = template.getMyGovernor();
if (Type_type.TYPE_SEQUENCE_OF.equals(governor.getTypetype()) || Type_type.TYPE_ARRAY.equals(governor.getTypetype())) {
source.append(MessageFormat.format("{0}.removeAllPermutations();\n", rhsCopied ? rhsCopy : rhsName));
}
template.generateCodeInit(aData, source, rhsCopied ? rhsCopy : rhsName);
if (rhsCopied) {
source.append(MessageFormat.format("{0}.assign({1});\n", rhsName, rhsCopy));
}
if (templateRestriction != Restriction_type.TR_NONE && generateRestrictionCheck) {
TemplateRestriction.generateRestrictionCheckCode(aData, source, location, rhsName, templateRestriction);
}
}
if (rhsCopied) {
source.append("}\n");
}
}
}
use of org.eclipse.titan.designer.AST.Assignment in project titan.EclipsePlug-ins by eclipse.
the class ImportModule method addProposal.
// FIXME ezeket sem teszteltuk
@Override
public /**
* {@inheritDoc}
*/
void addProposal(final ProposalCollector propCollector, final Identifier targetModuleId) {
final List<ISubReference> subrefs = propCollector.getReference().getSubreferences();
if (propCollector.getReference().getModuleIdentifier() == null && subrefs.size() == 1) {
propCollector.addProposal(identifier, ImageCache.getImage(getOutlineIcon()), KIND);
}
final Module savedReferredModule = referredModule;
if (savedReferredModule != null) {
final Assignments assignments = savedReferredModule.getAssignments();
for (int i = 0, size = assignments.getNofAssignments(); i < size; i++) {
final Assignment temporalAssignment = assignments.getAssignmentByIndex(i);
if (savedReferredModule.isVisible(CompilationTimeStamp.getBaseTimestamp(), targetModuleId, temporalAssignment)) {
temporalAssignment.addProposal(propCollector, 0);
}
}
if (savedReferredModule instanceof TTCN3Module) {
final TTCN3Module ttcnmodule = (TTCN3Module) savedReferredModule;
final List<ImportModule> imports = ttcnmodule.getImports();
for (final ImportModule importation : imports) {
if (importation.getVisibilityModifier() == VisibilityModifier.Public) {
importation.addProposal(propCollector, targetModuleId);
} else if (importation.getVisibilityModifier() == VisibilityModifier.Friend) {
// The import is the friendly one
if (ttcnmodule.isVisible(CompilationTimeStamp.getBaseTimestamp(), targetModuleId, importation)) {
importation.addProposal(propCollector, targetModuleId);
}
}
}
}
}
}
use of org.eclipse.titan.designer.AST.Assignment in project titan.EclipsePlug-ins by eclipse.
the class TTCN3Module method getAssBySRef.
@Override
public /**
* {@inheritDoc}
*/
Assignment getAssBySRef(final CompilationTimeStamp timestamp, final Reference reference, final IReferenceChain refChain) {
// if a moduleId is present, that import (or the actual module)
// must be searched
final Identifier moduleId = reference.getModuleIdentifier();
final Location referenceLocation = reference.getLocation();
final Identifier id = reference.getId();
if (id == null) {
return null;
}
Assignment temporalAssignment = null;
if (moduleId == null) {
// no module name is given in the reference
if ("anytype".equals(id.getTtcnName())) {
return anytypeDefinition;
}
Assignment tempResult = null;
for (final ImportModule impMod : importedModules) {
if (impMod.getReferredModule() != null) {
final ModuleImportationChain referenceChain = new ModuleImportationChain(ModuleImportationChain.CIRCULARREFERENCE, false);
tempResult = impMod.importAssignment(timestamp, referenceChain, identifier, reference, new ArrayList<ModuleImportation>());
if (tempResult != null && !tempResult.getMyScope().getModuleScope().isVisible(timestamp, this.getIdentifier(), tempResult)) {
tempResult = null;
}
if (tempResult != null) {
if (temporalAssignment == null) {
temporalAssignment = tempResult;
} else if (temporalAssignment != tempResult) {
reference.getLocation().reportSemanticError("It is not possible to resolve this reference unambigously, as it can be resolved to `" + temporalAssignment.getFullName() + "' and to `" + tempResult.getFullName() + "'");
return null;
}
}
}
}
if (temporalAssignment != null) {
return temporalAssignment;
}
referenceLocation.reportSemanticError(MessageFormat.format(MISSINGREFERENCE, id.getDisplayName(), identifier.getDisplayName()));
missingReferences.add(reference);
} else if (moduleId.getName().equals(name)) {
// the reference points to the own module
if ("anytype".equals(id.getTtcnName())) {
return anytypeDefinition;
}
temporalAssignment = definitions.getLocalAssignmentByID(timestamp, id);
if (temporalAssignment == null) {
referenceLocation.reportSemanticError(MessageFormat.format(MISSINGREFERENCE, id.getDisplayName(), identifier.getDisplayName()));
}
} else {
// the reference points to another module
for (final ImportModule impMod : importedModules) {
if (moduleId.getName().equals(impMod.getName())) {
if (impMod.getReferredModule() == null) {
return temporalAssignment;
}
final ModuleImportationChain referenceChain = new ModuleImportationChain(ModuleImportationChain.CIRCULARREFERENCE, false);
temporalAssignment = impMod.importAssignment(timestamp, referenceChain, identifier, reference, new ArrayList<ModuleImportation>());
if (!impMod.getReferredModule().isVisible(timestamp, this.getIdentifier(), temporalAssignment)) {
temporalAssignment = null;
}
if (temporalAssignment == null) {
referenceLocation.reportSemanticError(MessageFormat.format(MISSINGREFERENCE, id.getDisplayName(), impMod.getIdentifier().getDisplayName()));
}
return temporalAssignment;
}
}
referenceLocation.reportConfigurableSemanticProblem(Platform.getPreferencesService().getString(ProductConstants.PRODUCT_ID_DESIGNER, PreferenceConstants.REPORTMISSINGIMPORTEDMODULE, GeneralConstants.WARNING, null), MessageFormat.format(ImportModule.MISSINGMODULE, moduleId.getDisplayName()));
missingReferences.add(reference);
}
return temporalAssignment;
}
Aggregations