共用方式為


Microsoft.Pex.Models Namespace

Classes

PTextReader

Parameterized model that simulates arbitrary text reader