support for constructing VectorVal's directly from underlying ZVal vectors

This commit is contained in:
Vern Paxson 2021-05-30 17:58:53 -07:00
parent fb01f6fdef
commit e06d988bfd
2 changed files with 10 additions and 2 deletions

View file

@ -1473,6 +1473,8 @@ protected:
class VectorVal final : public Val, public notifier::detail::Modifiable {
public:
explicit VectorVal(VectorTypePtr t);
VectorVal(VectorTypePtr t, std::vector<std::optional<ZVal>>* vals);
~VectorVal() override;
ValPtr SizeVal() const override;