private PointsToAbstractValue(ImmutableHashSet <AbstractLocation> locations, PointsToAbstractValueKind kind)
{
Debug.Assert(locations.IsEmpty == (kind != PointsToAbstractValueKind.Known));
Locations = locations;
Kind = kind;
}
private PointsToAbstractValue(PointsToAbstractValueKind kind, NullAbstractValue nullState)
{
Debug.Assert(kind != PointsToAbstractValueKind.Known);
Debug.Assert(nullState != NullAbstractValue.Null);
Locations = ImmutableHashSet <AbstractLocation> .Empty;
Kind = kind;
NullState = nullState;
}
private PointsToAbstractValue(PointsToAbstractValueKind kind, NullAbstractValue nullState)
{
Debug.Assert(kind != PointsToAbstractValueKind.KnownLocations);
Debug.Assert(kind != PointsToAbstractValueKind.KnownLValueCaptures);
Locations = ImmutableHashSet <AbstractLocation> .Empty;
LValueCapturedOperations = ImmutableHashSet <IOperation> .Empty;
Kind = kind;
NullState = nullState;
}
public static bool IsInvalidOrUndefined(this PointsToAbstractValueKind kind)
{
switch (kind)
{
case PointsToAbstractValueKind.Invalid:
case PointsToAbstractValueKind.Undefined:
return(true);
default:
return(false);
}
}
private PointsToAbstractValue(PointsToAbstractValueKind kind)
: this(ImmutableHashSet <AbstractLocation> .Empty, kind)
{
Debug.Assert(kind != PointsToAbstractValueKind.Known);
}
private PointsToAbstractValue(ImmutableHashSet <AbstractLocation> locations, PointsToAbstractValueKind kind)
{
Locations = locations;
Kind = kind;
}
