List of rootTypeConsApp() Examples

Examples of rootTypeConsApp()

org.openquark.cal.compiler.TypeExpr.rootTypeConsApp()
@return TypeConsApp if this TypeExpr has a TypeConsApp at its root then the TypeConsAppis returned, otherwise null.

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

     * Ex: if the context is [(r\a) => {r | age::a}], returns False
     * Ex: if the context is [a], returns True
     */
    private boolean isContextNonRecordPolymorphic() {
        TypeExpr leastConstrainedContextType = getContext().getLeastConstrainedTypeExpr();
        return (leastConstrainedContextType.rootTypeConsApp() != null &&
            leastConstrainedContextType.rootTypeConsApp().getArg(0).rootRecordType() != null &&
            !leastConstrainedContextType.rootTypeConsApp().getArg(0).rootRecordType().isRecordPolymorphic());
    }
    
    /**

View Full Code Here

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

     * Ex: if the context is [a], returns True
     */
    private boolean isContextNonRecordPolymorphic() {
        TypeExpr leastConstrainedContextType = getContext().getLeastConstrainedTypeExpr();
        return (leastConstrainedContextType.rootTypeConsApp() != null &&
            leastConstrainedContextType.rootTypeConsApp().getArg(0).rootRecordType() != null &&
            !leastConstrainedContextType.rootTypeConsApp().getArg(0).rootRecordType().isRecordPolymorphic());
    }
    
    /**
     * @return index of the field currently selected (either through the table or header)

View Full Code Here

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

     */
    private boolean isContextNonRecordPolymorphic() {
        TypeExpr leastConstrainedContextType = getContext().getLeastConstrainedTypeExpr();
        return (leastConstrainedContextType.rootTypeConsApp() != null &&
            leastConstrainedContextType.rootTypeConsApp().getArg(0).rootRecordType() != null &&
            !leastConstrainedContextType.rootTypeConsApp().getArg(0).rootRecordType().isRecordPolymorphic());
    }
    
    /**
     * @return index of the field currently selected (either through the table or header)
     */

View Full Code Here

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

            
            // Table is modeling a list of records, with non-consolidated columns which should have
            // editable headers
            
            TypeExpr leastConstrainedType = getContext().getLeastConstrainedTypeExpr();
            if (leastConstrainedType != null && leastConstrainedType.rootTypeConsApp() != null) {
                leastConstrainedType = leastConstrainedType.rootTypeConsApp().getArg(0).rootRecordType();
            }
            editableRecordHeader.getRecordFieldModel().initialize(((TypeConsApp)getValueNode().getTypeExpr()).getArg(0).rootRecordType(), leastConstrainedType);
            
            newHeader = editableRecordHeader;

View Full Code Here

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

            // Table is modeling a list of records, with non-consolidated columns which should have
            // editable headers
            
            TypeExpr leastConstrainedType = getContext().getLeastConstrainedTypeExpr();
            if (leastConstrainedType != null && leastConstrainedType.rootTypeConsApp() != null) {
                leastConstrainedType = leastConstrainedType.rootTypeConsApp().getArg(0).rootRecordType();
            }
            editableRecordHeader.getRecordFieldModel().initialize(((TypeConsApp)getValueNode().getTypeExpr()).getArg(0).rootRecordType(), leastConstrainedType);
            
            newHeader = editableRecordHeader;

View Full Code Here

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

            // properly update a record type switch form record-polymorphic to non-record-polymorphic.
            
            TypeExpr unconstrainedListType = getContext().getLeastConstrainedTypeExpr();
            
            if (unconstrainedListType.rootTypeVar() != null || 
                unconstrainedListType.rootTypeConsApp().getArg(0).rootTypeVar() != null) {


                // Not constrained by context, so create new type expression according to the fields we have
                
                if (getListElementType().rootRecordType().isRecordPolymorphic()) {

View Full Code Here

0 1

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.