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

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

52
53
54
55
56
57
58
59
60
61
62
  }

  @Override
  public void analyze(ClassInfo clsinfo, CollectedInfo info)
          throws ClassFileNotFoundException {
    nativepeer = new NativePeerInfo();
    String mangled = clsinfo.getName();
   
    if (NameUtils.isNameMangled(mangled)) {
      String unmangled = unmangleName(mangled);
      ModelClassInfo model = loadModel(unmangled, info);
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
          newInfo.register(model);
        }
      }

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

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

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

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