⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 alphabeticalconditionbyprecomparator.java

📁 UML设计测试工具
💻 JAVA
字号:
/*
 * USE - UML based specification environment
 * Copyright (C) 1999-2004 Mark Richters, University of Bremen
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; either version 2 of the
 * License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */

/* $ProjectHeader: use 2-3-0-release.1 Mon, 12 Sep 2005 20:18:33 +0200 green $ */

package org.tzi.use.gui.main.sorting;

import org.tzi.use.uml.mm.MPrePostCondition;

/**
 * @author <a href="mailto:hanna@tzi.de">Hanna Bauerdick</a>
 * @version $ProjectVersion: 2-3-0-release.1 $
 */
public class AlphabeticalConditionByPreComparator implements SortingComparator {
    private CompareUtil compareUtil;
    
    /**
     * Constructor of AlphabeticalConditionByPreComparator
     */
    public AlphabeticalConditionByPreComparator() {
        this.compareUtil = new CompareUtilImpl();
    }

    /**
     * Sets the compareUtil, which supplies the basic 
     * comparison operations, to the given one.
     * 
     * @param compareUtil the new compareUtil
     */
    public void setCompareUtil( CompareUtil compareUtil ) {
        this.compareUtil = compareUtil;
    }

    /**
     * Compares two Pre-/Postconditions first by their condition type
     * (pre or post) and then by their operation name.
     * 
     * @param object1 first Pre-/Postcondition (has to be of type MPrePostCondition)
     * @param object2 second Pre-/Postcondition (has to be of type MPrePostCondition)
     * @return a negative integer, zero, or a positive integer as the
     *         first argument is less than, equal to, or greater than the
     *         second.
     */
    public int compare( final Object object1, final Object object2 ) {
        final MPrePostCondition firstCondition = (MPrePostCondition) object1;
        final MPrePostCondition secondCondition = (MPrePostCondition) object2;
        final String firstString = createComparisonString( firstCondition );
        final String secondString = createComparisonString( secondCondition );
        return compareUtil.compareString(firstString, secondString);
    }
    
    private String createComparisonString(final MPrePostCondition condition) {
        // not a nice solution, but the easiest way to sort the conditions:
        //   - first by the type (pre conditions will be listed first)
        //   - second by operation name (if the types are equal, 
        //            the operation names are in alphabetic order)
        //   - third by condition name
        final String typeName = ( condition.isPre() ? "a" : "z" );
        final String operationName = condition.operation().name();
        final String name = condition.name();
        return typeName + " " + operationName + "::" + name;
    }
}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -