Examples of com.google.java.contract.core.util.SyntheticJavaFile

Package com.google.java.contract.core.util

Examples of com.google.java.contract.core.util.SyntheticJavaFile

com.google.java.contract.core.util.SyntheticJavaFile
An in-memory Java source file, with mapping between contract model elements and line numbers, representing a contract source. @author nhat.minh.le@huoc.org (Nhat Minh Lê)

        new ArrayList<SyntheticJavaFile>(types.size());
    if (success) {
      for (TypeModel type : types) {
        ContractWriter writer = new ContractWriter(debug);
        type.accept(writer);
        sources.add(new SyntheticJavaFile(type.getName().getBinaryName(),
                                          writer.toByteArray(),
                                          writer.getLineNumberMap()));
      }


      if (dump) {

View Full Code Here

                             List<SyntheticJavaFile> sources) {
    Iterator<TypeModel> itType = types.iterator();
    Iterator<SyntheticJavaFile> itFile = sources.iterator();
    while (itType.hasNext() && itFile.hasNext()) {
      TypeModel type = itType.next();
      SyntheticJavaFile file = itFile.next();
      DebugUtils.dump(type.getName().getBinaryName(),
                      file.getCharContent(true).toString().getBytes(),
                      Kind.SOURCE);
    }
  }

View Full Code Here

    protected AnnotationSourceInfo getSourceInfo() {
      JavaFileObject source = diagnostic.getSource();
      if (!(source instanceof SyntheticJavaFile)) {
        return null;
      }
      SyntheticJavaFile synthSource = (SyntheticJavaFile) source;
      Object info = synthSource.getSourceInfo(diagnostic.getLineNumber());
      if (!(info instanceof AnnotationSourceInfo)) {
        return null;
      }
      return (AnnotationSourceInfo) info;
    }

View Full Code Here

TOP

Related Classes of com.google.java.contract.core.util.SyntheticJavaFile

com.google.java.contract.core.apt.AnnotationProcessor

com.google.java.contract.core.apt.DiagnosticManager$CompilerReport

java.io.ByteArrayInputStream

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.