ReadPropertyInteger('Meldeintervall') * 1000)", $modul ); } public function testModulVerwendetAusschliesslichDenVertrag30(): void { $modul = (string) file_get_contents(self::MODULPFAD . 'module.php'); self::assertStringContainsString('implements VerbraucherSchnittstelle', $modul); self::assertStringContainsString('ManagerdatenEmpfangen(array $daten)', $modul); self::assertStringContainsString('Nachrichtenvertrag::pruefeManagerdaten', $modul); self::assertStringContainsString('Nachrichtenvertrag::pruefeVerbraucherdaten', $modul); self::assertStringNotContainsString("RegisterVariableString('PowerSteps'", $modul); self::assertStringNotContainsString("RegisterPropertyInteger('ManagerID'", $modul); } public function testFachvariablenUndRueckmeldestoerungSindEnthalten(): void { $modul = (string) file_get_contents(self::MODULPFAD . 'module.php'); self::assertStringContainsString( "RegisterVariableBoolean('Schaltzustand'", $modul ); self::assertStringContainsString( "RegisterVariableInteger('Tageslaufzeit'", $modul ); self::assertStringContainsString("'Kennung' => 'Rueckmeldefehler'", $modul); self::assertStringContainsString("'Kennung' => 'Tageslaufzeit_s'", $modul); } public function testManagerKenntDieModulIDGenauEinmal(): void { $manager = (string) file_get_contents(__DIR__ . '/../Manager/module.php'); $modulID = '{15879A4E-D0C2-4495-83DE-46E1E462591E}'; self::assertSame(1, substr_count($manager, $modulID)); } public function testDiagnosevariablenSindOptional(): void { $modul = (string) file_get_contents(self::MODULPFAD . 'module.php'); self::assertStringContainsString("ReadPropertyBoolean('DiagnosevariablenAnzeigen')", $modul); self::assertStringContainsString('registriereVerbraucherDiagnose', $modul); self::assertStringContainsString('UnregisterVariable($ident)', $modul); } }