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

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

57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
    nativepeer = new NativePeerInfo();
    String mangled = clsinfo.getName();
   
    if (NameUtils.isNameMangled(mangled)) {
      String unmangled = unmangleName(mangled);
      ModelClassInfo model = loadModel(unmangled, info);
     
      if (model != null) {
        nativepeer.setModelName(model.getInfo().getName());
        Set<String> umMethods = unmangle(clsinfo.getMethods());
        Set<String> modelMths = model.getInfo().getMethods();
        Set<String> match = matchMethods(umMethods, modelMths);
        nativepeer.setModelMethods(match);
      } else {
        nativepeer.setModelName("unknown");
      }
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
          }
        }
      }
     
      if (isAnalysisEnabled(type, AnalysisType.MODELCLASSES.weight)) {
        ModelClassInfo model = analyzeModelClass(cls, info);

        if (model != null) {
          newInfo.register(model);
        }
      }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
  }

  @Override
  public void analyze(ClassInfo clsinfo, CollectedInfo info)
          throws ClassFileNotFoundException {
    model = new ModelClassInfo();
    String mdname = clsinfo.getName();
    ClassInfo std = loadStandard(mdname, info);

    if (std != null) {
      setup(clsinfo);
View Full Code Here
TOP

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

  • gov.nasa.jpf.autodoc.types.analyzer.AnalysisTrigger
  • gov.nasa.jpf.autodoc.types.analyzer.ModelClassAnalyzer
  • gov.nasa.jpf.autodoc.types.analyzer.NativePeerAnalyzer
    • 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.