Package gov.nasa.jpf.autodoc.types.info

Examples of gov.nasa.jpf.autodoc.types.info.CollectedInfo


    return startAnalyses(info, mask);
  }

  public CollectedInfo startAnalyses(CollectedInfo info, int type)
          throws ClassFileNotFoundException {
    CollectedInfo newInfo = info;

    for (ClassInfo cls : newInfo.getParsed().values()) {
      if (isAnalysisEnabled(type, AnalysisType.SUBTYPES.weight)) {
        SubtypeInfo subtype = analyzeSubtype(cls, info);
       
        if (subtype != null) {
          if (subtype.getType().equals("InstructionFactory")) {
            if (isAnalysisEnabled(type, AnalysisType.IFACTORIES.weight)) {
              newInfo.register(subtype);
            }
          } else if (subtype.getType().equals("Listener")) {
            if (isAnalysisEnabled(type, AnalysisType.LISTENERS.weight)) {
              newInfo.register(subtype);
            }
            //-- add more else-if for each type whether you want to filter
            // another subtype case.
          } else {
            newInfo.register(subtype);
          }
        }
      }
     
      if (isAnalysisEnabled(type, AnalysisType.MODELCLASSES.weight)) {
        ModelClassInfo model = analyzeModelClass(cls, info);

        if (model != null) {
          newInfo.register(model);
        }
      }

      if (isAnalysisEnabled(type, AnalysisType.NATIVEPEERS.weight)) {
        NativePeerInfo peer = analyzeNativePeer(cls, info);

        if (peer != null) {
          newInfo.register(peer);
        }
      }
    }
    return newInfo;
  }
View Full Code Here

TOP

Related Classes of gov.nasa.jpf.autodoc.types.info.CollectedInfo

Copyright © 2018 www.massapicom. All rights reserved.
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.