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

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


          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.
View Full Code Here


   
    String[] pathnames = config.getPropertyVals("SubtypeAnalyzer.classpath");
   
    for (String key : config.getLeafs()) {
      ClassInfo cls = parser.parse(config.getProperty(key), pathnames);
      SubtypeInfo type = new SubtypeInfo();
      type.setInfo(cls);
      type.setType(config.getType(key));
      info.register(cls);
      info.registerType(type);
    }
   
    config.loadConfig("build.properties");
View Full Code Here

  }
 
  @Override
  public void analyze(ClassInfo clsinfo, CollectedInfo info)
          throws ClassFileNotFoundException {
    subtype = new SubtypeInfo();
    String parent = clsinfo.getSuperName();
    buffer.add(parent);
    SubtypeInfo type = loadType(parent, info);
   
    if (type != null) {
      subtype.setInfo(clsinfo);
      subtype.setType(type.getType());
      subtype.addAncestors(buffer);
      subtype.addAncestors(type.getAncestors());
      subtype.setSuperMethods(matchMethods(subtype, type));
      found = true;
    } else {
      found = false;
    }
View Full Code Here

TOP

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

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.