就是我和我女朋友亲热的时候，我的阴茎在她的阴道外侧摩擦用力，但是没有进去，然后结束后她就出现了阴道痉挛，然后她也来了月经（正常时间来的），我想问问她这是正常情况吗？还是她有什么阴道感染之类的问题？