1 | <?php |
||
7 | abstract class ValueBoundSpecification extends LeafSpecification |
||
8 | { |
||
9 | private $attribute; |
||
10 | |||
11 | private $value; |
||
12 | |||
13 | 5 | public function __construct(string $attribute, $value) |
|
18 | |||
19 | 5 | public function getAttribute() |
|
23 | |||
24 | 5 | public function getValue() |
|
28 | |||
29 | 1 | public function isGeneralizationOf(ValueBoundSpecification $specification): bool |
|
33 | |||
34 | 2 | public function isSpecialCaseOf(ValueBoundSpecification $specification): bool |
|
38 | |||
39 | 3 | private function subsumptionProcess(string $type, ValueBoundSpecification $specification): bool |
|
53 | |||
54 | 3 | private function getBaseNameOfParentClasses(string $specificationClass): array |
|
61 | |||
62 | 3 | private function getClassBaseName(string $className): string |
|
68 | } |
||
69 |