serverscanning/capnproto-java-rpc
16
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

assertions

Browse source
This commit is contained in:
David Renshaw 2014-10-02 12:19:34 -04:00
parent 6ce41d20bd
commit c0da82a6b8
2 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
compiler/src/main/cpp/capnpc-java.c++
View file

@ -604,10 +604,10 @@ private:
return DiscriminantChecks {
kj::str(spaces(indent),
" if (which() != ", scope, "Which.", upperCase, ") return false;\n"),
kj::str(), // XXX
//kj::str(
// " KJ_IREQUIRE(which() == ", scope, upperCase, ",\n"
// " \"Must check which() before get()ing a union member.\");\n"),
kj::str(
spaces(indent),
" assert which() == ", scope, "Which.", upperCase, ":\n",
spaces(indent), " \"Must check which() before get()ing a union member.\";\n"),
kj::str(
spaces(indent), " _builder.setShortField(", discrimOffset, ", (short)",
scope, "Which.", upperCase, ".ordinal());\n"),
@ -835,6 +835,7 @@ private:
kj::strTree(
kj::mv(unionDiscrim.readerIsDecl),
spaces(indent), " public final ", type, " get", titleCase, "() {\n",
unionDiscrim.check,
(typeBody.which() == schema::Type::ENUM ?
makeEnumGetter(structSchema.getDependency(typeBody.getEnum().getTypeId()).asEnum(),
kj::str("_reader"), offset, indent + 2) :
@ -847,6 +848,7 @@ private:
kj::strTree(
kj::mv(unionDiscrim.builderIsDecl),
spaces(indent), " public final ", type, " get", titleCase, "() {\n",
unionDiscrim.check,
(typeBody.which() == schema::Type::ENUM ?
makeEnumGetter(structSchema.getDependency(typeBody.getEnum().getTypeId()).asEnum(),
kj::str("_builder"), offset, indent + 2) :
@ -923,6 +925,7 @@ private:
spaces(indent), " }\n",
spaces(indent), " public ", type, ".Reader get", titleCase, "() {\n",
unionDiscrim.check,
spaces(indent), " return ", type,
".factory.fromStructReader(_reader.getPointerField(", offset,").getStruct());\n",
spaces(indent), " }\n", "\n"),
@ -930,6 +933,7 @@ private:
kj::strTree(
kj::mv(unionDiscrim.builderIsDecl),
spaces(indent), " public final ", type, ".Builder get", titleCase, "() {\n",
unionDiscrim.check,
spaces(indent), " return ", type,
".factory.fromStructBuilder(_builder.getPointerField(", offset, ").getStruct(",
type, ".STRUCT_SIZE", "));\n",

8
runtime/src/main/java/org/capnproto/WireHelpers.java
View file

@ -181,9 +181,7 @@ final class WireHelpers {
SegmentBuilder segment,
int elementCount,
byte elementSize) {
if (elementSize == FieldSize.INLINE_COMPOSITE) {
throw new InternalError("Should have called initStructListPointer instead");
}
assert elementSize == FieldSize.INLINE_COMPOSITE : "Should have called initStructListPointer instead";
int dataSize = FieldSize.dataBitsPerElement(elementSize);
int pointerCount = FieldSize.pointersPerElement(elementSize);
@ -230,9 +228,7 @@ final class WireHelpers {
public static ListBuilder getWritableListPointer(int origRefOffset,
SegmentBuilder origSegment,
byte elementSize) {
if (elementSize == FieldSize.INLINE_COMPOSITE) {
throw new InternalError("Use getStructList{Element,Field} for structs");
}
assert elementSize == FieldSize.INLINE_COMPOSITE : "Use getStructList{Element,Field} for structs";
long origRef = WirePointer.get(origSegment.buffer, origRefOffset);
int origRefTarget = WirePointer.target(origRefOffset, origRef);