Examples of NumberPattern

jmathexpr.arithmetic.pattern.NumberPattern
This class represents a number in an expression pattern. @author Elemér Furka
slash.navigation.common.NumberPattern

Examples of jmathexpr.arithmetic.pattern.NumberPattern

        }
    }
    
    private Map<Expression, List<ANumber>> selectConstants(List<Expression> evaluated) {
        Map<Expression, List<ANumber>> selected = new HashMap(); // ai*c -> a1, a2, ... an
        NumberPattern a = new NumberPattern();
        TerminationPattern c = new Constant();
        ExpressionPattern p = new Multiplication(a, c);
        
        for (Expression e : evaluated) {
            if (e.isConstant()) {
                if (e instanceof ANumber) { // 1 -> numbers
                    addToSelectionMap(selected, Naturals.one(), (ANumber) e);
                } else if (p.matches(e)) {
                    addToSelectionMap(selected, c.hit(), a.hit());
                } else {
                    addToSelectionMap(selected, e, Naturals.one());
                }
            }
        }

View Full Code Here

Examples of slash.navigation.common.NumberPattern


public class NumberPatternListCellRenderer extends DefaultListCellRenderer {


    public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
        JLabel label = (JLabel) super.getListCellRendererComponent(list, value, index, isSelected, cellHasFocus);
        NumberPattern numberPattern = (NumberPattern) value;
        String text = RouteConverter.getBundle().getString("number-pattern-" + numberPattern.name().toLowerCase());
        label.setText(text);
        return label;
    }

View Full Code Here

Examples of slash.navigation.common.NumberPattern

        );
    }


    public void addNumbers(int[] rows) {
        int digitCount = widthInDigits(positionsModel.getRowCount() + 1);
        NumberPattern numberPattern = RouteConverter.getInstance().getNumberPatternPreference();
        processNumbers(positionsView, positionsModel, rows, digitCount, numberPattern, COORDINATE_PREDICATE);
    }

View Full Code Here

Examples of slash.navigation.common.NumberPattern




    public String createDescription(int index, String description) {
        if (description == null)
            description = RouteConverter.getBundle().getString("new-position-name");
        NumberPattern numberPattern = RouteConverter.getInstance().getNumberPatternPreference();
        String number = Integer.toString(index);
        return formatNumberedPosition(numberPattern, number, description);
    }

View Full Code Here

Examples of slash.navigation.common.NumberPattern

        comboboxNumberPattern.setRenderer(new NumberPatternListCellRenderer());
        comboboxNumberPattern.addItemListener(new ItemListener() {
            public void itemStateChanged(ItemEvent e) {
                if (e.getStateChange() != SELECTED)
                    return;
                NumberPattern numberPattern = NumberPattern.class.cast(e.getItem());
                r.setNumberPatternPreference(numberPattern);
            }
        });


        DefaultComboBoxModel<ElevationService> elevationServiceModel = new DefaultComboBoxModel<>();

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.