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 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); } }