Class Property

A property which may or may not hold of a data-flow node.

Supported properties currently are Boolean truth and nil-ness.

Import path

import semmle.go.dataflow.Properties

asBoolean	Returns the boolean represented by this property if it is a boolean.
checkOn	Holds if `test` evaluating to `outcome` means that this property holds of `nd`, where `nd` is a subexpression of `test`.
isBoolean	Holds if this is the property of having the Boolean value `b`.
isNil	Holds if this is the property of being `nil`.
isNonNil	Holds if this is the property of being non-`nil`.
toString	Gets a textual representation of this property.