public function detokenize(string $value): string
    {
        $count = 1;
        while ($count !== 0) {
            $value = preg_replace(
                '/FUNCTION_START__(.*?)__/',
                '<$1(',
                $value,
                1,
                $count
            );
        }

        $value = preg_replace(
            '/IDENTITY_START/',
            '<(',
            $value
        );
        $value = preg_replace(
            '/IDENTITY_OR_FUNCTION_END/',
            ')>',
            $value
        );

        return $value;
    }
public function detokenize(string $value): string
    {
        $count = 1;
        while ($count !== 0) {
            $value = preg_replace(
                '/FUNCTION_START__(.*?)__/',
                '<$1(',
                $value,
                1,
                $count
            );
        }

        $value = preg_replace(
            '/IDENTITY_START/',
            '<(',
            $value
        );
        $value = preg_replace(
            '/IDENTITY_OR_FUNCTION_END/',
            ')>',
            $value
        );

        return $value;
    }
public function detokenize ( string $ value ) : string { $ count = 1 ; while ( $ count !== 0 ) { $ value = preg_replace ( '/FUNCTION_START__(.*?)__/' , '<$1(' , $ value , 1 , $ count ) ; } $ value = preg_replace ( '/IDENTITY_START/' , '<(' , $ value ) ; $ value = preg_replace ( '/IDENTITY_OR_FUNCTION_END/' , ')>' , $ value ) ; return $ value ; }
Replaces the tokens by their original values.
Replaces the tokens by their original values .