Examples with LengthRestriction org.eclipse.titan.designer.AST.TTCN3.templates.LengthRestriction used on opensource projects

Example 21 with LengthRestriction

use of org.eclipse.titan.designer.AST.TTCN3.templates.LengthRestriction in project titan.EclipsePlug-ins by eclipse.

the class SpecificValue_Template method generateCodeExpression.

@Override
public /**
 * {@inheritDoc}
 */
void generateCodeExpression(final JavaGenData aData, final ExpressionStruct expression, final TemplateRestriction.Restriction_type templateRestriction) {
    IType governor = myGovernor;
    if (governor == null) {
        governor = getExpressionGovernor(CompilationTimeStamp.getBaseTimestamp(), Expected_Value_type.EXPECTED_TEMPLATE);
    }
    if (governor == null) {
        return;
    }
    final String genName = governor.getGenNameTemplate(aData, expression.expression, myScope);
    if (realTemplate != null && realTemplate != this) {
        realTemplate.generateCodeExpression(aData, expression, templateRestriction);
        return;
    }
    if (lengthRestriction == null && !isIfpresent && templateRestriction == Restriction_type.TR_NONE) {
        // The single expression must be tried first because this rule might cover some referenced templates.
        if (hasSingleExpression()) {
            expression.expression.append(MessageFormat.format("new {0}(", genName));
            if (governor.getTypetype() == Type_type.TYPE_ARRAY) {
                final Array_Type array_type = (Array_Type) governor;
                expression.expression.append(MessageFormat.format(" {0}.class, ", array_type.getElementType().getGenNameTemplate(aData, expression.expression, myScope)));
            }
            expression.expression.append(getSingleExpression(aData, true));
            expression.expression.append(')');
            return;
        }
        expression.expression.append(MessageFormat.format("new {0}(", genName));
        specificValue.generateCodeExpression(aData, expression, false);
        expression.expression.append(')');
        return;
    }
    final String tempId = aData.getTemporaryVariableName();
    expression.preamble.append(MessageFormat.format("{0} {1} = new {0}();\n", governor.getGenNameTemplate(aData, expression.expression, myScope), tempId));
    generateCodeInit(aData, expression.preamble, tempId);
    if (templateRestriction != Restriction_type.TR_NONE) {
        TemplateRestriction.generateRestrictionCheckCode(aData, expression.expression, location, tempId, templateRestriction);
    }
    expression.expression.append(tempId);
}

Example 22 with LengthRestriction

use of org.eclipse.titan.designer.AST.TTCN3.templates.LengthRestriction in project titan.EclipsePlug-ins by eclipse.

the class SpecificValue_Template method isValue.

@Override
public /**
 * {@inheritDoc}
 */
boolean isValue(final CompilationTimeStamp timestamp) {
    if (lengthRestriction != null || isIfpresent || getIsErroneous(timestamp)) {
        return false;
    }
    if (realTemplate != null && realTemplate != this) {
        return realTemplate.isValue(timestamp);
    }
    if (Value_type.FUNCTION_REFERENCE_VALUE.equals(specificValue.getValuetype())) {
        final IType governor = ((Function_Reference_Value) specificValue).getExpressionGovernor(timestamp, Expected_Value_type.EXPECTED_DYNAMIC_VALUE);
        if (governor == null) {
            return true;
        }
        final IType last = governor.getTypeRefdLast(timestamp);
        if (Type_type.TYPE_FUNCTION.equals(last.getTypetype()) && ((Function_Type) last).returnsTemplate()) {
            return false;
        }
    } else if (Value_type.REFERENCED_VALUE.equals(specificValue.getValuetype())) {
        final Reference reference = ((Referenced_Value) specificValue).getReference();
        final Assignment assignment = reference.getRefdAssignment(timestamp, true);
        if (assignment == null) {
            return true;
        }
        switch(assignment.getAssignmentType()) {
            case A_CONST:
            case A_TIMER:
            case A_EXT_CONST:
            case A_PAR_VAL:
            case A_PAR_VAL_IN:
            case A_PAR_VAL_OUT:
            case A_PAR_VAL_INOUT:
            case A_VAR:
            case A_FUNCTION_RVAL:
            case A_EXT_FUNCTION_RVAL:
            case A_MODULEPAR:
            case A_MODULEPAR_TEMPLATE:
                // runtime evaluation!
                return true;
            case A_TEMPLATE:
            case A_PAR_TEMP_IN:
            case A_PAR_TEMP_INOUT:
            case A_FUNCTION_RTEMP:
            case A_VAR_TEMPLATE:
                boolean result = true;
                final Restriction_type rt = ((Definition) assignment).getTemplateRestriction();
                if (TemplateRestriction.Restriction_type.TR_OMIT.equals(rt) || TemplateRestriction.Restriction_type.TR_PRESENT.equals(rt)) {
                    result = false;
                }
                final TTCN3Template ttemplate = getTemplateReferencedLast(timestamp);
                if ((!ttemplate.equals(this)) && (ttemplate.isValue(timestamp))) {
                    // ok
                    return result;
                } else {
                    return false;
                }
            default:
                return false;
        }
    }
    return true;
}

Example 23 with LengthRestriction

use of org.eclipse.titan.designer.AST.TTCN3.templates.LengthRestriction in project titan.EclipsePlug-ins by eclipse.

the class SupersetMatch_Template method generateCodeInit.

@Override
public /**
 * {@inheritDoc}
 */
void generateCodeInit(final JavaGenData aData, final StringBuilder source, final String name) {
    if (lastTimeBuilt != null && !lastTimeBuilt.isLess(aData.getBuildTimstamp())) {
        return;
    }
    lastTimeBuilt = aData.getBuildTimstamp();
    aData.addBuiltinTypeImport("Base_Template.template_sel");
    String ofTypeName;
    switch(myGovernor.getTypetype()) {
        case TYPE_SEQUENCE_OF:
            ofTypeName = ((SequenceOf_Type) myGovernor).getOfType().getGenNameTemplate(aData, source, myScope);
            break;
        case TYPE_SET_OF:
            ofTypeName = ((SetOf_Type) myGovernor).getOfType().getGenNameTemplate(aData, source, myScope);
            break;
        case TYPE_ARRAY:
            ofTypeName = ((Array_Type) myGovernor).getElementType().getGenNameTemplate(aData, source, myScope);
            break;
        default:
            ErrorReporter.INTERNAL_ERROR("FATAL ERROR while processing superset match template `" + getFullName() + "''");
            return;
    }
    final ArrayList<Integer> variables = new ArrayList<Integer>();
    long fixedPart = 0;
    for (int i = 0; i < templates.getNofTemplates(); i++) {
        final TTCN3Template templateListItem = templates.getTemplateByIndex(i);
        if (templateListItem.getTemplatetype() == Template_type.ALL_FROM) {
            variables.add(i);
        } else {
            fixedPart++;
        }
    }
    if (variables.size() > 0) {
        final StringBuilder preamble = new StringBuilder();
        final StringBuilder setType = new StringBuilder();
        final StringBuilder[] variableReferences = new StringBuilder[templates.getNofTemplates()];
        setType.append(MessageFormat.format("{0}.setType(template_sel.SUPERSET_MATCH, {1}", name, fixedPart));
        for (int v = 0; v < variables.size(); v++) {
            final TTCN3Template template = templates.getTemplateByIndex(variables.get(v));
            // the template must be all from
            TTCN3Template template2 = template;
            if (template instanceof All_From_Template) {
                template2 = ((All_From_Template) template).getAllFrom();
            }
            final Reference reference = ((SpecificValue_Template) template2).getReference();
            final Assignment assignment = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), false);
            setType.append(" + ");
            final ExpressionStruct expression = new ExpressionStruct();
            reference.generateCode(aData, expression);
            if (expression.preamble.length() > 0) {
                preamble.append(expression.preamble);
            }
            switch(assignment.getAssignmentType()) {
                case A_CONST:
                case A_EXT_CONST:
                case A_MODULEPAR:
                case A_VAR:
                case A_PAR_VAL:
                case A_PAR_VAL_IN:
                case A_PAR_VAL_OUT:
                case A_PAR_VAL_INOUT:
                case A_FUNCTION_RVAL:
                case A_EXT_FUNCTION_RVAL:
                    if (assignment.getType(CompilationTimeStamp.getBaseTimestamp()).fieldIsOptional(reference.getSubreferences())) {
                        expression.expression.append(".get()");
                    }
                    break;
                default:
                    break;
            }
            variableReferences[variables.get(v)] = expression.expression;
            setType.append(expression.expression);
            setType.append(".n_elem().getInt()");
        }
        source.append(preamble);
        source.append(setType);
        source.append(");\n");
        final StringBuilder shifty = new StringBuilder();
        for (int i = 0; i < templates.getNofTemplates(); i++) {
            final TTCN3Template template = templates.getTemplateByIndex(i);
            switch(template.getTemplatetype()) {
                case ALL_FROM:
                    {
                        // the template must be all from
                        final StringBuilder storedExpression = variableReferences[i];
                        source.append(MessageFormat.format("for (int i_i = 0, i_lim = {0}.n_elem().getInt(); i_i < i_lim; ++i_i ) '{'\n", storedExpression));
                        final String embeddedName = MessageFormat.format("{0}.setItem({1}{2} + i_i)", name, i, shifty);
                        ((All_From_Template) template).generateCodeInitAllFrom(aData, source, embeddedName, storedExpression);
                        source.append("}\n");
                        shifty.append(MessageFormat.format("-1 + {0}.n_elem().getInt()", storedExpression));
                        break;
                    }
                default:
                    if (template.needsTemporaryReference()) {
                        final String tempId = aData.getTemporaryVariableName();
                        source.append("{\n");
                        source.append(MessageFormat.format("{0} {1} = {2}.setItem({3}{4});\n", ofTypeName, tempId, name, i, shifty));
                        template.generateCodeInit(aData, source, tempId);
                        source.append("}\n");
                    } else {
                        final String embeddedName = MessageFormat.format("{0}.setItem({1}{2})", name, i, shifty);
                        template.generateCodeInit(aData, source, embeddedName);
                    }
                    break;
            }
        }
    } else {
        source.append(MessageFormat.format("{0}.setType(template_sel.SUPERSET_MATCH, {1});\n", name, templates.getNofTemplates()));
        for (int i = 0; i < templates.getNofTemplates(); i++) {
            final TTCN3Template template = templates.getTemplateByIndex(i);
            if (template.needsTemporaryReference()) {
                final String tempId = aData.getTemporaryVariableName();
                source.append("{\n");
                source.append(MessageFormat.format("{0} {1} = {2}.setItem({3});\n", ofTypeName, tempId, name, i));
                template.generateCodeInit(aData, source, tempId);
                source.append("}\n");
            } else {
                final String embeddedName = MessageFormat.format("{0}.setItem({1})", name, i);
                template.generateCodeInit(aData, source, embeddedName);
            }
        }
    }
    if (lengthRestriction != null) {
        if (getCodeSection() == CodeSectionType.CS_POST_INIT) {
            lengthRestriction.reArrangeInitCode(aData, source, myScope.getModuleScope());
        }
        lengthRestriction.generateCodeInit(aData, source, name);
    }
    if (isIfpresent) {
        source.append(name);
        source.append(".set_ifPresent();\n");
    }
}

Example 24 with LengthRestriction

use of org.eclipse.titan.designer.AST.TTCN3.templates.LengthRestriction in project titan.EclipsePlug-ins by eclipse.

the class Template_List method generateCodeInit.

@Override
public /**
 * {@inheritDoc}
 */
void generateCodeInit(final JavaGenData aData, final StringBuilder source, final String name) {
    if (lastTimeBuilt != null && !lastTimeBuilt.isLess(aData.getBuildTimstamp())) {
        return;
    }
    lastTimeBuilt = aData.getBuildTimstamp();
    if (asValue != null) {
        asValue.generateCodeInit(aData, source, name);
        return;
    }
    if (converted != null) {
        converted.generateCodeInit(aData, source, name);
        return;
    }
    if (myGovernor == null) {
        return;
    }
    // TODO special case for empty list
    final IType typeLast = myGovernor.getTypeRefdLast(CompilationTimeStamp.getBaseTimestamp());
    long indexOffset = 0;
    if (typeLast.getTypetype().equals(Type_type.TYPE_ARRAY)) {
        indexOffset = ((Array_Type) typeLast).getDimension().getOffset();
    }
    String ofTypeName;
    switch(typeLast.getTypetype()) {
        case TYPE_SEQUENCE_OF:
            ofTypeName = ((SequenceOf_Type) typeLast).getOfType().getGenNameTemplate(aData, source, myScope);
            break;
        case TYPE_SET_OF:
            ofTypeName = ((SetOf_Type) typeLast).getOfType().getGenNameTemplate(aData, source, myScope);
            break;
        case TYPE_ARRAY:
            ofTypeName = ((Array_Type) typeLast).getElementType().getGenNameTemplate(aData, source, myScope);
            break;
        default:
            ErrorReporter.INTERNAL_ERROR("FATAL ERROR while processing template list `" + getFullName() + "''");
            return;
    }
    if (hasPermutation || hasAllFrom()) {
        long fixedPart = 0;
        final StringBuilder preamble = new StringBuilder();
        final StringBuilder setSize = new StringBuilder();
        final StringBuilder body = new StringBuilder();
        final String counter = aData.getTemporaryVariableName();
        body.append(MessageFormat.format("int {0} = {1};\n", counter, indexOffset));
        for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
            final TTCN3Template template = templates.getTemplateByIndex(i);
            if (template.getTemplatetype() == Template_type.ALL_FROM) {
                final TTCN3Template subTemplate = ((All_From_Template) template).getAllFrom();
                final Reference reference = ((SpecificValue_Template) subTemplate).getReference();
                final Assignment assignment = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), false);
                setSize.append(" + ");
                final ExpressionStruct referenceExpression = new ExpressionStruct();
                reference.generateCode(aData, referenceExpression);
                switch(assignment.getAssignmentType()) {
                    case A_CONST:
                    case A_EXT_CONST:
                    case A_MODULEPAR:
                    case A_VAR:
                    case A_PAR_VAL:
                    case A_PAR_VAL_IN:
                    case A_PAR_VAL_OUT:
                    case A_PAR_VAL_INOUT:
                    case A_FUNCTION_RVAL:
                    case A_EXT_FUNCTION_RVAL:
                        if (assignment.getType(CompilationTimeStamp.getBaseTimestamp()).fieldIsOptional(reference.getSubreferences())) {
                            referenceExpression.expression.append(".get()");
                        }
                        break;
                    default:
                        break;
                }
                setSize.append(referenceExpression.expression);
                if (referenceExpression.preamble.length() > 0) {
                    preamble.append(referenceExpression.preamble);
                }
                setSize.append(".n_elem().getInt()");
                body.append(MessageFormat.format("for (int i_i = 0, i_lim = {0}.n_elem().getInt(); i_i < i_lim; ++i_i ) '{'\n", referenceExpression.expression));
                final String embeddedName = MessageFormat.format("{0}.getAt({1} + i_i)", name, counter);
                ((All_From_Template) template).generateCodeInitAllFrom(aData, body, embeddedName, referenceExpression.expression);
                body.append("}\n");
                body.append(MessageFormat.format("{0} += {1}.n_elem().getInt();\n", counter, referenceExpression.expression));
            } else if (template.getTemplatetype() == Template_type.PERMUTATION_MATCH) {
                final int numPermutations = ((PermutationMatch_Template) template).getNofTemplates();
                final String permutationStart = aData.getTemporaryVariableName();
                body.append(MessageFormat.format("int {0} = {1};\n", permutationStart, counter));
                for (int j = 0; j < numPermutations; j++) {
                    final TTCN3Template template2 = ((PermutationMatch_Template) template).getTemplateByIndex(j);
                    if (template2.getTemplatetype() == Template_type.ALL_FROM) {
                        final TTCN3Template subTemplate = ((All_From_Template) template2).getAllFrom();
                        final Reference reference = ((SpecificValue_Template) subTemplate).getReference();
                        final Assignment assignment = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), false);
                        setSize.append(" + ");
                        final ExpressionStruct referenceExpression = new ExpressionStruct();
                        reference.generateCode(aData, referenceExpression);
                        switch(assignment.getAssignmentType()) {
                            case A_CONST:
                            case A_EXT_CONST:
                            case A_MODULEPAR:
                            case A_VAR:
                            case A_PAR_VAL:
                            case A_PAR_VAL_IN:
                            case A_PAR_VAL_OUT:
                            case A_PAR_VAL_INOUT:
                            case A_FUNCTION_RVAL:
                            case A_EXT_FUNCTION_RVAL:
                                if (assignment.getType(CompilationTimeStamp.getBaseTimestamp()).fieldIsOptional(reference.getSubreferences())) {
                                    referenceExpression.expression.append(".get()");
                                }
                                break;
                            default:
                                break;
                        }
                        setSize.append(referenceExpression.expression);
                        if (referenceExpression.preamble.length() > 0) {
                            preamble.append(referenceExpression.preamble);
                        }
                        setSize.append(".n_elem().getInt()");
                        body.append(MessageFormat.format("for (int i_i = 0, i_lim = {0}.n_elem().getInt(); i_i < i_lim; ++i_i ) '{'\n", referenceExpression.expression));
                        final String embeddedName = MessageFormat.format("{0}.getAt({1} + i_i)", name, counter);
                        ((All_From_Template) template2).generateCodeInitAllFrom(aData, body, embeddedName, referenceExpression.expression);
                        body.append("}\n");
                        body.append(MessageFormat.format("{0} += {1}.n_elem().getInt();\n", counter, referenceExpression.expression));
                        template2.lastTimeBuilt = aData.buildTimestamp;
                    } else {
                        fixedPart++;
                        template2.generateCodeInitSeofElement(aData, body, name, counter, ofTypeName);
                        body.append(MessageFormat.format("{0}++;\n", counter));
                    }
                }
                // do not consider index_offset in case of permutation indicators
                body.append(MessageFormat.format("{0}.add_permutation({1}, {2} - 1);\n", name, permutationStart, counter));
                template.lastTimeBuilt = aData.buildTimestamp;
            } else {
                fixedPart++;
                template.generateCodeInitSeofElement(aData, body, name, counter, ofTypeName);
                body.append(MessageFormat.format("{0}++;\n", counter));
            }
        }
        source.append(preamble);
        source.append(MessageFormat.format("{0}.setSize({1}", name, fixedPart));
        source.append(setSize);
        source.append(");\n");
        source.append(body);
    } else {
        // source.append(MessageFormat.format("{0}.setSize({1});\n", name, getNofTemplates()));
        int index = 0;
        for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
            final TTCN3Template template = templates.getTemplateByIndex(i);
            switch(template.getTemplatetype()) {
                case PERMUTATION_MATCH:
                    final PermutationMatch_Template actualTemplate = (PermutationMatch_Template) template;
                    final int nofPermutatedTemplates = actualTemplate.getNofTemplates();
                    for (int j = 0; j < nofPermutatedTemplates; j++) {
                        final long ix = indexOffset + index + j;
                        final TTCN3Template template2 = actualTemplate.getTemplateByIndex(j);
                        template2.generateCodeInitSeofElement(aData, source, name, Long.toString(ix), ofTypeName);
                    }
                    // do not consider index_offset in case of permutation indicators
                    source.append(MessageFormat.format("{0}.add_permutation({1}, {2});\n", name, index, index + nofPermutatedTemplates - 1));
                    template.lastTimeBuilt = aData.buildTimestamp;
                    index += nofPermutatedTemplates;
                    break;
                case ALL_FROM:
                case TEMPLATE_NOTUSED:
                    index++;
                    break;
                default:
                    template.generateCodeInitSeofElement(aData, source, name, Long.toString(indexOffset + index), ofTypeName);
                    index++;
                    break;
            }
        }
    }
    if (lengthRestriction != null) {
        if (getCodeSection() == CodeSectionType.CS_POST_INIT) {
            lengthRestriction.reArrangeInitCode(aData, source, myScope.getModuleScope());
        }
        lengthRestriction.generateCodeInit(aData, source, name);
    }
    if (isIfpresent) {
        source.append(name);
        source.append(".set_ifPresent();\n");
    }
}

Example 25 with LengthRestriction

use of org.eclipse.titan.designer.AST.TTCN3.templates.LengthRestriction in project titan.EclipsePlug-ins by eclipse.

the class Referenced_Template method generateCodeInit.

@Override
public /**
 * {@inheritDoc}
 */
void generateCodeInit(final JavaGenData aData, final StringBuilder source, final String name) {
    if (lastTimeBuilt != null && !lastTimeBuilt.isLess(aData.getBuildTimstamp())) {
        return;
    }
    lastTimeBuilt = aData.getBuildTimstamp();
    if (useSingleExpressionForInit() && hasSingleExpression()) {
        source.append(MessageFormat.format("{0}.assign({1});\n", name, getSingleExpression(aData, false)));
        return;
    }
    final ExpressionStruct expression = new ExpressionStruct();
    boolean useReferenceForCodegeneration = true;
    if (getCodeSection() == CodeSectionType.CS_POST_INIT) {
        // the referencing template is a part of a non-parameterized template
        final Assignment assignment = reference.getRefdAssignment(CompilationTimeStamp.getBaseTimestamp(), false);
        if (assignment.getAssignmentType() == Assignment_type.A_TEMPLATE) {
            // FIXME implement formal par check
            if (((Def_Template) assignment).getFormalParameterList() != null) {
                // the referred template is parameterized
                // generate the initialization sequence first for all dependent
                // non-parameterized templates
                reArrangeInitCode(aData, source, myScope.getModuleScope());
            } else if (assignment.getMyScope().getModuleScope() == myScope.getModuleScope()) {
                // the referred template is non-parameterized
                // use a different algorithm for code generation
                generateRearrangeInitCodeReferenced(aData, source, expression);
                useReferenceForCodegeneration = false;
            }
        }
    }
    if (useReferenceForCodegeneration) {
        reference.generateConstRef(aData, expression);
    }
    if (expression.preamble.length() > 0 || expression.postamble.length() > 0) {
        // the expressions within reference need temporary objects
        source.append("{\n");
        source.append(expression.preamble);
        // FIXME handle the needs conversion case
        source.append(MessageFormat.format("{0}.assign({1});\n", name, expression.expression));
        source.append(expression.postamble);
        source.append("}\n");
    } else {
        // FIXME handle needs conversion case
        source.append(MessageFormat.format("{0}.assign({1});\n", name, expression.expression));
    }
    if (lengthRestriction != null) {
        if (getCodeSection() == CodeSectionType.CS_POST_INIT) {
            lengthRestriction.reArrangeInitCode(aData, source, myScope.getModuleScope());
        }
        lengthRestriction.generateCodeInit(aData, source, name);
    }
    if (isIfpresent) {
        source.append(name);
        source.append(".set_ifPresent();\n");
    }
}