Searched defs:bitOutputStream (Results 1 – 2 of 2) sorted by relevance
152 BitOutputStream bitOutputStream = new BitOutputStream(outputStream); in serializeRuleFileMetadata() local163 BitOutputStream bitOutputStream = new BitOutputStream(outputStream); in serializeRuleList() local186 private void serializeRule(Rule rule, BitOutputStream bitOutputStream) throws IOException { in serializeRule()194 serializeFormula(rule.getFormula(), bitOutputStream); in serializeRule() local201 private void serializeFormula(IntegrityFormula formula, BitOutputStream bitOutputStream) in serializeFormula()204 serializeAtomicFormula((AtomicFormula) formula, bitOutputStream); in serializeFormula() local206 serializeCompoundFormula((CompoundFormula) formula, bitOutputStream); in serializeFormula() local216 CompoundFormula compoundFormula, BitOutputStream bitOutputStream) throws IOException { in serializeCompoundFormula()230 AtomicFormula atomicFormula, BitOutputStream bitOutputStream) throws IOException { in serializeAtomicFormula()244 bitOutputStream); in serializeAtomicFormula() local[all …]
56 BitOutputStream bitOutputStream = new BitOutputStream(byteTrackedOutputStream); in testSuccessfulWriteAndValidateWrittenBytesCount_fromBitStream() local