Java GraphEntity Examples

Example #1

File: GraphService.java Project: srcc-msu/octotron_core

  protected static List<Info<EGraphType>> UidsFromList(Collection<? extends GraphEntity> entities) {
    List<Info<EGraphType>> uids = new LinkedList<>();

    for (GraphEntity entity : entities) {
      uids.add(entity.GetID());
    }

    return uids;
  }

Example #2

File: Node.java Project: jblomer/GrGen.NET

 /**
  * Sets the corresponding retyped version of this node
  *
  * @param retyped The retyped node
  * @param graph The graph where the node gets retyped
  */
 public void setRetypedNode(Node retyped, Graph graph) {
   super.setRetypedEntity(retyped, graph);
 }