public class AssumeClassSpecificationVisitorFactory extends ClassSpecificationVisitorFactory
| Constructor and Description |
|---|
AssumeClassSpecificationVisitorFactory(ValueFactory valueFactory) |
| Modifier and Type | Method and Description |
|---|---|
protected ClassVisitor |
createNonTestingClassVisitor(MemberSpecification memberSpecification,
boolean isField,
MemberVisitor memberVisitor,
AttributeVisitor attributeVisitor,
List variableStringMatchers)
Creates a new ClassVisitor to efficiently travel to the specified class
members and attributes.
|
createClassPoolVisitor, createClassPoolVisitor, createClassPoolVisitor, createClassTester, createClassTester, createCombinedClassVisitorpublic AssumeClassSpecificationVisitorFactory(ValueFactory valueFactory)
protected ClassVisitor createNonTestingClassVisitor(MemberSpecification memberSpecification, boolean isField, MemberVisitor memberVisitor, AttributeVisitor attributeVisitor, List variableStringMatchers)
ClassSpecificationVisitorFactorycreateNonTestingClassVisitor in class ClassSpecificationVisitorFactorymemberSpecification - the specification of the class member(s) to
visit.memberVisitor - the MemberVisitor to be applied to matching
class member(s).variableStringMatchers - a mutable list of VariableStringMatcher
instances that match the wildcards.Copyright © 2019. All rights reserved.