Ejemplo n.º 1
0
        /// <summary>
        /// Duplicates a source Variable into its target
        /// </summary>
        /// <param name="source"></param>
        /// <param name="target"></param>
        public static void DuplicateVariable(Generated.Variable source, Generated.Variable target)
        {
            if ( source != null && target != null )
            {
                DuplicateReqRelated (source, target);

                target.setTypeName(source.getTypeName());
                target.setDefaultValue(source.getDefaultValue());
                target.setVariableMode(source.getVariableMode());
                target.setWidth(source.getWidth());
                target.setHeight(source.getHeight());
                target.setX(source.getX());
                target.setY(source.getY());
                target.setHidden(source.getHidden());
                target.setPinned(source.getPinned());
            }
        }
Ejemplo n.º 2
0
        /// <summary>
        /// Duplicates a source Type into its target
        /// </summary>
        /// <param name="source"></param>
        /// <param name="target"></param>
        public static void DuplicateType(Generated.Type source, Generated.Type target)
        {
            if ( source != null && target != null )
            {
                DuplicateReqRelated (source, target);

                target.setDefault(source.getDefault());
                target.setWidth(source.getWidth());
                target.setHeight(source.getHeight());
                target.setX(source.getX());
                target.setY(source.getY());
                target.setHidden(source.getHidden());
                target.setPinned(source.getPinned());
            }
        }
Ejemplo n.º 3
0
        /// <summary>
        /// Duplicates a source Rule into its target
        /// </summary>
        /// <param name="source"></param>
        /// <param name="target"></param>
        public static void DuplicateRule(Generated.Rule source, Generated.Rule target)
        {
            if ( source != null && target != null )
            {
                DuplicateReqRelated (source, target);

                target.setPriority(source.getPriority());
                target.setWidth(source.getWidth());
                target.setHeight(source.getHeight());
                target.setX(source.getX());
                target.setY(source.getY());
                target.setHidden(source.getHidden());
                target.setPinned(source.getPinned());
            }
        }
Ejemplo n.º 4
0
        /// <summary>
        /// Duplicates a source State into its target
        /// </summary>
        /// <param name="source"></param>
        /// <param name="target"></param>
        public static void DuplicateState(Generated.State source, Generated.State target)
        {
            if ( source != null && target != null )
            {
                DuplicateReqRelated (source, target);

                target.setWidth(source.getWidth());
                target.setHeight(source.getHeight());
                target.setX(source.getX());
                target.setY(source.getY());
                target.setPinned(source.getPinned());
            }
        }
Ejemplo n.º 5
0
        /// <summary>
        /// Duplicates a source RequirementSet into its target
        /// </summary>
        /// <param name="source"></param>
        /// <param name="target"></param>
        public static void DuplicateRequirementSet(Generated.RequirementSet source, Generated.RequirementSet target)
        {
            if ( source != null && target != null )
            {
                DuplicateNamable (source, target);

                target.setWidth(source.getWidth());
                target.setHeight(source.getHeight());
                target.setX(source.getX());
                target.setY(source.getY());
                target.setRecursiveSelection(source.getRecursiveSelection());
                target.setObsoleteRequirementsStatus(source.getObsoleteRequirementsStatus());
                target.setDefault(source.getDefault());
                target.setPinned(source.getPinned());
            }
        }