Examples of org.openquark.cal.compiler.TypeExpr.sameType()

Class org.openquark.cal.compiler.TypeExpr

Examples of org.openquark.cal.compiler.TypeExpr.sameType()

org.openquark.cal.compiler.TypeExpr.sameType()
Checks if 2 types are equal, up to renamings of type variables. For example, the types: "a -> b -> [a] -> [b]", "b -> a -> [b] -> [a]" and "c -> d -> [c] -> [d]" would all be considered to be the same type under this method. By definition, 2 types t1 and t2 are the same via this method if t1.toString().equals(t2.toString()). However, this method will be significantly faster in many cases than comparing string representations, especially in the case when the 2 types are different.

            
        } else if (typeExpr.sameType(typeConstants.getIntType()) ||
                   typeExpr.sameType(typeConstants.getIntegerType()) ||
                   typeExpr.sameType(typeConstants.getByteType()) ||
                   typeExpr.sameType(typeConstants.getShortType()) ||
                   typeExpr.sameType(typeConstants.getLongType())) {


            // Remove trailing -
            len = currentText.length();
            if (len > 0) {
                char lastChar = currentText.charAt(len - 1);

View Full Code Here

                currentText = "0";
                len = 1;
                changed = true;
            }


        } else if (typeExpr.sameType(typeConstants.getCharType())) {


            len = currentText.length();
            if (len != 1) {
                // Default value is a space.
                currentText = " ";

View Full Code Here

            } catch (ParseException pe) {
                currentText = fmt.format(valueNode.getJavaDate());
                changed = true;
            }


        } else if (typeExpr.sameType(typeConstants.getCharListType())) {


            // Strings are valid.


        } else if (typeExpr.sameType(typeConstants.getStringType())) {

View Full Code Here


        } else if (typeExpr.sameType(typeConstants.getCharListType())) {


            // Strings are valid.


        } else if (typeExpr.sameType(typeConstants.getStringType())) {


            // Strings are valid.


        } else {

View Full Code Here


        TypeExpr typeExpr = valueEntryPanel.getValueNode().getTypeExpr();
        
        PreludeTypeConstants typeConstants = valueEntryPanel.valueEditorManager.getPreludeTypeConstants();
                      
        if (typeExpr.sameType(typeConstants.getDoubleType()) ||
            typeExpr.sameType(typeConstants.getFloatType()) ||
            typeExpr.sameType(typeConstants.getDecimalType())) {
            
            //todoBI Float and Double should have different validation to take into account their ranges

View Full Code Here

        TypeExpr typeExpr = valueEntryPanel.getValueNode().getTypeExpr();
        
        PreludeTypeConstants typeConstants = valueEntryPanel.valueEditorManager.getPreludeTypeConstants();
                      
        if (typeExpr.sameType(typeConstants.getDoubleType()) ||
            typeExpr.sameType(typeConstants.getFloatType()) ||
            typeExpr.sameType(typeConstants.getDecimalType())) {
            
            //todoBI Float and Double should have different validation to take into account their ranges
                            
            valid = isGoodDouble(text);

View Full Code Here

        
        PreludeTypeConstants typeConstants = valueEntryPanel.valueEditorManager.getPreludeTypeConstants();
                      
        if (typeExpr.sameType(typeConstants.getDoubleType()) ||
            typeExpr.sameType(typeConstants.getFloatType()) ||
            typeExpr.sameType(typeConstants.getDecimalType())) {
            
            //todoBI Float and Double should have different validation to take into account their ranges
                            
            valid = isGoodDouble(text);

View Full Code Here

            
            //todoBI Float and Double should have different validation to take into account their ranges
                            
            valid = isGoodDouble(text);


        } else if (typeExpr.sameType(typeConstants.getIntType()) ||
                   typeExpr.sameType(typeConstants.getByteType()) ||
                   typeExpr.sameType(typeConstants.getShortType()) ||
                   typeExpr.sameType(typeConstants.getLongType())) {
           
            //todoBI the integral types should have different validation to take into account their ranges

View Full Code Here

            //todoBI Float and Double should have different validation to take into account their ranges
                            
            valid = isGoodDouble(text);


        } else if (typeExpr.sameType(typeConstants.getIntType()) ||
                   typeExpr.sameType(typeConstants.getByteType()) ||
                   typeExpr.sameType(typeConstants.getShortType()) ||
                   typeExpr.sameType(typeConstants.getLongType())) {
           
            //todoBI the integral types should have different validation to take into account their ranges

View Full Code Here

                            
            valid = isGoodDouble(text);


        } else if (typeExpr.sameType(typeConstants.getIntType()) ||
                   typeExpr.sameType(typeConstants.getByteType()) ||
                   typeExpr.sameType(typeConstants.getShortType()) ||
                   typeExpr.sameType(typeConstants.getLongType())) {
           
            //todoBI the integral types should have different validation to take into account their ranges
           
            valid = isGoodInteger(text);

View Full Code Here

0 1 2 3 4 5

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.