Examples of org.openquark.cal.compiler.ClassMethod

org.openquark.cal.compiler.ClassMethod
ClassMethod models a method in a type class. In other words, it has a name and a type, but not a definition.
Some examples of class methods are Prelude.equals, Prelude.lessThan, Prelude.typeOf, and Debug.show. @author Bo Ilic

                ModuleTypeInfo moduleTypeInfoForFeature = owner.getPerspective().getMetaModule(qualifiedName.getModuleName()).getTypeInfo();
                FunctionalAgent envEntity = moduleTypeInfoForFeature.getFunctionalAgent(qualifiedName.getUnqualifiedName());
                
                boolean isRequiredClassMethod = false;
                if (envEntity instanceof ClassMethod) {
                    ClassMethod method = (ClassMethod)envEntity;
                    isRequiredClassMethod = (method.getDefaultClassMethodName() == null); // no default -> required
                }
                
                CALDocComment caldoc = envEntity.getCALDocComment();
                buffer.append(getBasicMetadataHtml(owner, metadata, caldoc));
                buffer.append(getFunctionalAgentMetadataHtml(owner, (FunctionalAgentMetadata) metadata, url, caldoc, isRequiredClassMethod));

View Full Code Here

        
        buffer.append("<tt>");
        
        count = typeClass.getNClassMethods();
        for (int i = 0; i < count; i++) {
            ClassMethod method = typeClass.getNthClassMethod(i);
            NavAddress methodUrl = NavAddress.getAddress(method);
            buffer.append("<b>" + getLinkHtml(methodUrl, NavAddressHelper.getDisplayText(owner, methodUrl, ScopedEntityNamingPolicy.UNQUALIFIED) + "</b> :: "));
            buffer.append("<i>" + getTypeStringHtml(owner, method.getTypeExpr(), namingPolicy) + "</i>");
            buffer.append("<br>");
        }
        
        // remove trailing <br>
        buffer.delete(buffer.length() - 4, buffer.length());

View Full Code Here

        ModuleTypeInfo featureModuleTypeInfo = owner.getPerspective().getMetaModule(metadata.getFeatureName().toModuleName()).getTypeInfo();
        ClassInstance instance = featureModuleTypeInfo.getClassInstance(identifier);
        
        int count = instance.getNInstanceMethods();
        for (int i = 0; i < count; i++) {
            ClassMethod method = typeClass.getNthClassMethod(i);
            String methodName = method.getName().getUnqualifiedName();
            
            NavAddress methodUrl = NavAddress.getAddress(CALFeatureName.getInstanceMethodFeatureName(identifier, metadata.getFeatureName().toModuleName(), methodName));
            buffer.append("<b>" + getLinkHtml(methodUrl, NavAddressHelper.getDisplayText(owner, methodUrl, ScopedEntityNamingPolicy.UNQUALIFIED) + "</b> :: "));
            buffer.append("<i>" + getTypeStringHtml(owner, instance.getInstanceMethodType(i), namingPolicy) + "</i>");
            buffer.append("<br>");

View Full Code Here

0 1

TOP

Related Classes of org.openquark.cal.compiler.ClassMethod

org.openquark.cal.caldoc.AbstractDocumentationGenerator

org.openquark.cal.caldoc.CALDocTool_Test

org.openquark.cal.caldoc.CALDocToTextUtilities

org.openquark.cal.caldoc.HTMLDocumentationGenerator

org.openquark.cal.ICE

org.openquark.cal.ICE$TypeInfoStats

org.openquark.cal.internal.javamodel.JavaBindingGenerator

org.openquark.cal.internal.serialization.RecordInputStream.RecordHeaderInfo

org.openquark.cal.UncheckedCALDocReferencesValidity_Test

org.openquark.gems.client.navigator.NavHtmlFactory

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.