dtd method declaration for regex verification