Workspace of autoplot-jar-stable-2017 on Built-In Node

autoplot / Autoplot / temp-classes / org / checkerframework / common / value / qual /

	ArrayLen.class	Jul 1, 2020 1:36:54 PM	603 B	view
	ArrayLenRange.class	Jul 1, 2020 1:36:54 PM	680 B	view
	BoolVal.class	Jul 1, 2020 1:36:54 PM	601 B	view
	BottomVal.class	Jul 1, 2020 1:36:54 PM	1.34 KB	view
	DoubleVal.class	Jul 1, 2020 1:36:54 PM	605 B	view
	EnsuresMinLenIf.class	Jul 1, 2020 1:36:54 PM	1.08 KB	view
	EnsuresMinLenIf$List.class	Jul 1, 2020 1:36:54 PM	864 B	view
	IntRange.class	Jul 1, 2020 1:36:54 PM	678 B	view
	IntRangeFromGTENegativeOne.class	Jul 1, 2020 1:36:54 PM	548 B	view
	IntRangeFromNonNegative.class	Jul 1, 2020 1:36:54 PM	542 B	view
	IntRangeFromPositive.class	Jul 1, 2020 1:36:54 PM	536 B	view
	IntVal.class	Jul 1, 2020 1:36:54 PM	599 B	view
	MinLen.class	Jul 1, 2020 1:36:54 PM	516 B	view
	MinLenFieldInvariant.class	Jul 1, 2020 1:36:54 PM	573 B	view
	PolyValue.class	Jul 1, 2020 1:36:54 PM	598 B	view
	StaticallyExecutable.class	Jul 1, 2020 1:36:54 PM	491 B	view
	StringVal.class	Jul 1, 2020 1:36:54 PM	622 B	view
	UnknownVal.class	Jul 1, 2020 1:36:54 PM	607 B	view
(all files in zip)