Uses of Class
gov.nasa.jpf.util.TypeRef

Packages that use TypeRef

Package	Description
gov.nasa.jpf.util.test

Uses of TypeRef in gov.nasa.jpf.util.test

Methods in gov.nasa.jpf.util.test with parameters of type TypeRef

Modifier and Type	Method and Description
protected boolean	TestMultiProcessJPF.mpVerifyJPFException(int prcNum, TypeRef xClsSpec, String... args)
protected boolean	TestMultiProcessJPF.mpVerifyPropertyViolation(int prcNum, TypeRef propertyClsSpec, String... args)
protected boolean	TestJPF.verifyJPFException(TypeRef xClsSpec, String... args)
protected boolean	TestJPF.verifyPropertyViolation(TypeRef propertyClsSpec, String... args)