Skip to content

Commit b51b754

Browse files
committed
infer.cpp: made some members private
1 parent 0cbdac2 commit b51b754

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

Diff for: lib/infer.cpp

+6-1
Original file line numberDiff line numberDiff line change
@@ -390,6 +390,7 @@ std::vector<MathLib::bigint> getMaxValue(const ValuePtr<InferModel>& model, cons
390390

391391
namespace {
392392
struct IntegralInferModel : InferModel {
393+
private:
393394
bool match(const ValueFlow::Value& value) const override {
394395
return value.isIntValue();
395396
}
@@ -410,10 +411,10 @@ ValuePtr<InferModel> makeIntegralInferModel()
410411

411412
namespace {
412413
struct SymbolicInferModel : InferModel {
413-
const Token* expr;
414414
explicit SymbolicInferModel(const Token* tok) : expr(tok) {
415415
assert(expr->exprId() != 0);
416416
}
417+
private:
417418
bool match(const ValueFlow::Value& value) const override
418419
{
419420
return value.isSymbolicValue() && value.tokvalue && value.tokvalue->exprId() == expr->exprId();
@@ -426,6 +427,7 @@ namespace {
426427
result.setKnown();
427428
return result;
428429
}
430+
const Token* expr;
429431
};
430432
}
431433

@@ -436,6 +438,7 @@ ValuePtr<InferModel> makeSymbolicInferModel(const Token* token)
436438

437439
namespace {
438440
struct IteratorInferModel : InferModel {
441+
private:
439442
virtual ValueFlow::Value::ValueType getType() const = 0;
440443
bool match(const ValueFlow::Value& value) const override {
441444
return value.valueType == getType();
@@ -450,12 +453,14 @@ namespace {
450453
};
451454

452455
struct EndIteratorInferModel : IteratorInferModel {
456+
private:
453457
ValueFlow::Value::ValueType getType() const override {
454458
return ValueFlow::Value::ValueType::ITERATOR_END;
455459
}
456460
};
457461

458462
struct StartIteratorInferModel : IteratorInferModel {
463+
private:
459464
ValueFlow::Value::ValueType getType() const override {
460465
return ValueFlow::Value::ValueType::ITERATOR_END;
461466
}

0 commit comments

Comments
 (0)