HasPragma constructor

HasPragma()