ksen007 / janala2 Goto Github PK

java.lang.ArrayIndexOutOfBoundsException: 6
	at janala.interpreters.ObjectValue.setField(ObjectValue.java:104)
	at janala.interpreters.ConcolicInterpreter.visitPUTFIELD(ConcolicInterpreter.java:1384)
	at janala.logger.inst.PUTFIELD.visit(PUTFIELD.java:16)
	at janala.logger.DirectConcolicExecution.log(DirectConcolicExecution.java:58)
	at janala.logger.AbstractLogger.SPECIAL(AbstractLogger.java:706)
	at janala.logger.DJVM.SPECIAL(DJVM.java:708)
	at com.squareup.javapoet.CodeWriter.<init>(CodeWriter.java:41)
	at com.squareup.javapoet.CodeWriter.<init>(CodeWriter.java:67)
	at com.squareup.javapoet.CodeWriter.<init>(CodeWriter.java:63)
	at com.squareup.javapoet.TypeName.toString(TypeName.java:256)
	at com.squareup.javapoet.AnnotatedTypeNameTest.main(AnnotatedTypeNameTest.java:146)

public static void main(String[] args) {
        String lit1 = catg.CATG.readString("java.util.List<@");
        String lit2 = catg.CATG.readString(" java.lang.String>");
        String expected = (lit1 + (AnnotatedTypeNameTest.NN)) + lit2;
        TypeName type = TypeName.get(String.class).annotated(annotatedTypeNameTest.NEVER_NULL);
        ClassName list = ClassName.get(List.class);
        String actual = ParameterizedTypeName.get(list, type).toString();
}

final class CodeWriter {
  /** Sentinel value that indicates that no user-provided package has been set. */
  private static final String NO_PACKAGE = new String();

  private final String indent;
  private final Appendable out;
  private int indentLevel;

  private boolean javadoc = false;
  private boolean comment = false;
  private String packageName = NO_PACKAGE;
  private final List<TypeSpec> typeSpecStack = new ArrayList<>();
  private final Set<String> staticImportClassNames;
  private final Set<String> staticImports;
  private final Map<String, ClassName> importedTypes;
  private final Map<String, ClassName> importableTypes = new LinkedHashMap<>();
  private final Set<String> referencedNames = new LinkedHashSet<>();
  private boolean trailingNewline;

  /**
   * When emitting a statement, this is the line of the statement currently being written. The first
   * line of a statement is indented normally and subsequent wrapped lines are double-indented. This
   * is -1 when the currently-written line isn't part of a statement.
   */
  int statementLine = -1;

  CodeWriter(Appendable out) {
    this(out, "  ", Collections.<String>emptySet());
  }

  CodeWriter(Appendable out, String indent, Set<String> staticImports) {
    this(out, indent, Collections.<String, ClassName>emptyMap(), staticImports);
  }

  CodeWriter(Appendable out, String indent, Map<String, ClassName> importedTypes,
      Set<String> staticImports) {
    this.out = checkNotNull(out, "out == null");
    this.indent = checkNotNull(indent, "indent == null");
    this.importedTypes = checkNotNull(importedTypes, "importedTypes == null");
    this.staticImports = checkNotNull(staticImports, "staticImports == null");
    this.staticImportClassNames = new LinkedHashSet<>();
    for (String signature : staticImports) {
      staticImportClassNames.add(signature.substring(0, signature.lastIndexOf('.')));
    }
  }