Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexSymbolicValue Class

 

Helper functions to deal with symbolic inputs

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)

System::Object
  Microsoft.Pex.Framework::PexSymbolicValue

[__DoNotInstrumentAttribute]
public ref class PexSymbolicValue abstract sealed 

NameDescription
System_CAPS_pubmethodSystem_CAPS_staticDerive<TFormula>(TFormula, Double)

Computes the derivative of formula with respect to variable

System_CAPS_pubmethodSystem_CAPS_staticGetPathConditionString()

Gets a textual representation of the path condition at this point.

System_CAPS_pubmethodSystem_CAPS_staticGetRawPathConditionString()

Gets a textual representation of the path condition at this point.

System_CAPS_pubmethodSystem_CAPS_staticGetRelevantInputNames<T>(T)

Gets a textual representation of inputs directly or indirect affecting the given value.

System_CAPS_pubmethodSystem_CAPS_staticIgnore<T>(T)

Forgets all constraints associated with passed value

System_CAPS_pubmethodSystem_CAPS_staticIgnoreComputation(PexSymbolicValue::Action^)

Performs a given action, but forgets all constraints associated with the computation.

System_CAPS_pubmethodSystem_CAPS_staticIgnoreComputation<T>(PexSymbolicValue::Function<T>^)

Evaluates a given function, but forgets all constraints associated with the computation of the result.

System_CAPS_pubmethodSystem_CAPS_staticIgnoreEnumeration<T>(IEnumerable<T>^)

Forgets all constraints associated with the enumeration

System_CAPS_pubmethodSystem_CAPS_staticIsSymbolic<T>(T)

Checks whether the given value has any symbolic information attached to it. In other words, it checks whether the value was derived from the test inputs. Note that this check only applies to the given value itself, and not to its fields if it is an object

System_CAPS_pubmethodSystem_CAPS_staticMinimize(Int32)

Instruct Pex to minimize a particular value.

System_CAPS_pubmethodSystem_CAPS_staticMinimize(Int64)

Instruct Pex to minimize a particular value.

System_CAPS_pubmethodSystem_CAPS_staticMinimize(UInt32)

Instruct Pex to minimize a particular value.

System_CAPS_pubmethodSystem_CAPS_staticMinimize(UInt64)

Instruct Pex to minimize a particular value.

System_CAPS_pubmethodSystem_CAPS_staticToRawString<T>(T)

Turns a value into a string that represents the symbolic value.

System_CAPS_pubmethodSystem_CAPS_staticToString<T>(T)

Turns a value into a string that represents the symbolic value.

DOT NOT INSTRUMENT THIS CLASS

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Return to top
Show: