PatternVariableElement constructor

PatternVariableElement()