Searched refs:extraInt (Results 1 – 2 of 2) sorted by relevance
34 extraInt = map["xi"] as Int? in <lambda>()40 w.write(hdr.metadataVersion, hdr.bytecodeVersion, hdr.extraInt) in <lambda>()45 w.write(hdr.metadataVersion, hdr.bytecodeVersion, hdr.extraInt) in <lambda>()50 … w.write(metadata.facadeClassName, hdr.metadataVersion, hdr.bytecodeVersion, hdr.extraInt) in <lambda>()
57 int extraInt = 1; // used to store rear in PipeByteBuffer() local58 int extraShort = extraInt * Constant.SHORTS_PER_INT; in PipeByteBuffer()