<s> """<STR_LIT>""" <EOL> @ TagName ( VideoElement . TAG ) <EOL> class VideoElement ( MediaElement ) : <EOL> TAG = "<STR_LIT>" <EOL> def create ( self ) : <EOL> return Document . get ( ) . createElement ( TAG ) . cast ( ) <EOL> def __init__ ( self ) : <EOL> pass <EOL> def getWidth ( self ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def setWidth ( self , width ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def getHeight ( self ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def setHeight ( self , height ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def getVideoWidth ( self ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def getVideoHeight ( self ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def getPoster ( self ) : <EOL> JS ( """<STR_LIT>""" ) <EOL> def setPoster ( self , url ) : <EOL> JS ( """<STR_LIT>""" ) </s>
