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

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


    if (info.isModel(name)) {
      return info.getModel(name);
    }
   
    try {
      ClassInfo cls = new ClassInfo();
     
      if (info.isParsed(name)) {
        cls = info.getCls(name);
      } else {
        String mdlname = NameUtils.normalizeName(name);
View Full Code Here


    config.loadConfig("config.properties");
   
    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);
View Full Code Here

    if (info.isType(name)) {
      return info.getType(name);
    }
   
    try {
      ClassInfo cls = new ClassInfo();
     
      if (info.isParsed(name)) {
        cls = info.getCls(name);
      } else {
        cls = parser.parse(name, classpath);
View Full Code Here

  @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);
      model.setStdName(std.getName());
      model.setStdMethods(matchMethods(clsinfo, std));
      found = true;
    } else if (isLocationValid(clsinfo, LOCATION) && std == null) {
      setup(clsinfo);
      model.setStdName("unknown");
View Full Code Here

   * @param path Filepath where the parser can find the
   * <code>.class</code> file.
   * @param project Owner project of the class.
   */
  public void parse(String path) throws ClassFileException {
    classinfo = new ClassInfo();
    classinfo.setLocation(path);
    classinfo.setLayer(inferLayer(path));
    classinfo.setProject(inferProject(path));
    ClassFile cfile = new ClassFile(path);
    cfile.parse(this);
View Full Code Here

   * @param classpath
   * @throws ClassFileException
   */
  public void parse(String classname, ClassPath classpath)
          throws ClassFileException, ClassFileNotFoundException {
    classinfo = new ClassInfo();
    String clsname = NameUtils.normalizeName(classname);
    String source = classpath.getSource(clsname);
   
    if (source.isEmpty() || source == null) {
      throw new ClassFileNotFoundException("Class not found in classpath: "
View Full Code Here

   * Parse classfile from byte data.
   *
   * @param cfdata Byte array containing classfile data.
   */
  public void parse(byte[] cfdata) throws ClassFileException {
    classinfo = new ClassInfo();
    ClassFile cfile = new ClassFile(cfdata);
    cfile.parse(this);
  }
View Full Code Here

    System.out.println("method> parse(String)");
   
    String clazz = "build/main/gov/nasa/jpf/autodoc/types/AutoDocTool.class";

    TargetParser parser = new TargetParser();
    ClassInfo info = parser.parse(clazz);
    assertEquals("gov/nasa/jpf/autodoc/types/AutoDocTool", info.getName());
    System.out.println("  [" + 0 + "] class: " + info.getName()
                       + " | flags: " + info.getFlags());
  }
View Full Code Here

   
    String clazz = "gov.nasa.jpf.autodoc.types.AutoDocTool";
    String[] pathnames = new String[]{"build/jpf-autodoc-types.jar"};

    TargetParser parser = new TargetParser();
    ClassInfo info = parser.parse(clazz, pathnames);
    assertEquals("gov/nasa/jpf/autodoc/types/AutoDocTool", info.getName());
    System.out.println("  [" + 0 + "] class: " + info.getName()
                       + " | flags: " + info.getFlags());
  }
View Full Code Here

TOP

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

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.