private static InnerNodeVector<Maptype> createVector(List<Builder> builders) { List<Maptype> elems = new ArrayList<>(); for (Builder b : builders) { elems.add(new Maptype(b)); } return new InnerNodeVector<Maptype>(elems); } }
private Datatype(Builder builder, boolean throwIfUninitialized) { if (throwIfUninitialized && ! builder.__uninitialized.isEmpty()) throw new IllegalArgumentException("The following builder parameters for " + "documentmanager.datatype[] must be initialized: " + builder.__uninitialized); id = (builder.id == null) ? new IntegerNode() : new IntegerNode(builder.id); arraytype = Arraytype.createVector(builder.arraytype); maptype = Maptype.createVector(builder.maptype); weightedsettype = Weightedsettype.createVector(builder.weightedsettype); structtype = Structtype.createVector(builder.structtype); annotationreftype = Annotationreftype.createVector(builder.annotationreftype); documenttype = Documenttype.createVector(builder.documenttype); referencetype = Referencetype.createVector(builder.referencetype); }
public Maptype build() { return new Maptype(this); }
private static void registerMapType(DocumentTypeManager manager, int id, DocumentmanagerConfig.Datatype.Maptype map) { DataType keyType = manager.getDataType(map.keytype(), ""); DataType valType = manager.getDataType(map.valtype(), ""); MapDataType type = new MapDataType(keyType, valType, id); manager.register(type); }