Ejemplo n.º 1
0
  public RepositoryTagMap(
      AbstractRepository repository,
      RepositoryTagMap parent,
      Map<String, RepositoryTagEntry> tagMap)
      throws IOException {
    _tagMap = Collections.unmodifiableMap(tagMap);

    long now = Alarm.getCurrentTime();

    if (parent.getSequence() < now) _sequence = now;
    else _sequence = parent.getSequence() + 1;

    TempStream os = new TempStream();
    WriteStream out = new WriteStream(os);

    writeTagMap(out);
    out.close();

    String tagHash;

    InputStream is = os.getInputStream();

    try {
      tagHash = repository.addBlob(is);
    } finally {
      is.close();
    }

    _tree = new GitTree();

    _tree.addBlob("tags", 0775, tagHash);

    for (String key : tagMap.keySet()) {
      RepositoryTagEntry entry = tagMap.get(key);

      String sha1 = entry.getTagEntryHash();
      String root = entry.getRoot();

      _tree.addBlob(sha1, 0644, sha1);

      GitType type = repository.getType(root);

      if (type == GitType.BLOB) _tree.addBlob(root, 0644, root);
      else if (type == GitType.TREE) _tree.addDir(root, root);
      else throw new IllegalStateException(L.l("'{0}' has an unknown type {1}", root, type));
    }

    String treeHash = repository.addTree(_tree);

    _commit = new GitCommit();
    _commit.setTree(treeHash);
    _commit.put("sequence", String.valueOf(_sequence));

    _commitHash = repository.addCommit(_commit);
  }
Ejemplo n.º 2
0
 /**
  * This function obtains from a predicate that is a conjunction of assignments the assignment
  * related to an identifier
  *
  * @param specID The identifier of a variable in the specification
  * @param pred A predicate
  * @return the equality
  */
 public static MemPred getRelatedEquality(Pred pred, String specID) {
   AbstractRepository<Pred> predRep = pred.accept(new AndPredClausesExtractor());
   AbstractIterator<Pred> predIt = predRep.createIterator();
   while (predIt.hasNext()) {
     Pred auxPred = predIt.next();
     if (auxPred instanceof MemPred) {
       MemPred memPred = ((MemPred) auxPred);
       if (memPred.getMixfix()) {
         String id = ((RefExpr) memPred.getLeftExpr()).getName().toString();
         if (id.equals(specID)) {
           return memPred;
         }
       } else return null;
     } else return null;
   }
   return null;
 }
Ejemplo n.º 3
0
  protected void getResources(List<Resource> list, boolean recursive) throws IOException {
    Set paths = context.getResourcePaths(path);

    if (paths != null) {
      for (Object obj : paths) {
        String path = (String) obj;
        if (!path.endsWith("/")) {
          int n = path.lastIndexOf('/', path.length() - 1);
          String name = path.substring(n + 1);
          list.add(lookupResource(name));
        } else if (recursive) {
          int n = path.lastIndexOf('/', path.length() - 2);
          String name = path.substring(n + 1, path.length() - 1);
          AbstractRepository repo = lookupRepository(name);
          repo.getResources(list, true);
        }
      }
    }
  }
Ejemplo n.º 4
0
  public RepositoryTagMap(AbstractRepository repository, String commitHash, boolean isValidate)
      throws IOException {
    _commitHash = commitHash;

    if (commitHash == null) throw new NullPointerException();

    // force loading and validation from backend
    if (isValidate) repository.validateHash(commitHash);

    _commit = repository.readCommit(commitHash);

    String sequence = _commit.get("sequence");

    if (sequence != null) _sequence = Long.parseLong(sequence);
    else _sequence = 1;

    _tree = repository.readTree(_commit.getTree());

    _tagMap = readTagMap(repository, _tree.getHash("tags"));
  }
Ejemplo n.º 5
0
  private Map<String, RepositoryTagEntry> readTagMap(AbstractRepository repository, String sha1)
      throws IOException {
    TreeMap<String, RepositoryTagEntry> map = new TreeMap<String, RepositoryTagEntry>();

    InputStream is = repository.openBlob(sha1);
    try {
      ReadStream in = Vfs.openRead(is);

      String tag;

      while ((tag = in.readLine()) != null) {
        String entrySha1 = in.readLine();

        RepositoryTagEntry entry = new RepositoryTagEntry(repository, entrySha1);

        map.put(tag, entry);
      }
    } finally {
      is.close();
    }

    return Collections.unmodifiableMap(map);
  }