@@ -60,10 +60,10 @@ module Vue {
6060 /** A component created by an explicit or implicit call to `Vue.extend`. */
6161 private newtype TComponent =
6262 MkComponentExtension ( VueExtendCall extend ) or
63- MkComponentInstantiation ( API:: NewNode sub ) {
64- sub = component ( ) .getAnInstantiation ( )
63+ MkComponentInstantiation ( API:: NewNode sub ) { sub = component ( ) .getAnInstantiation ( ) } or
64+ MkComponentRegistration ( API:: CallNode def ) {
65+ def = vueLibrary ( ) .getMember ( "component" ) .getACall ( )
6566 } or
66- MkComponentRegistration ( API:: CallNode def ) { def = vueLibrary ( ) .getMember ( "component" ) .getACall ( ) } or
6767 MkSingleFileComponent ( VueFile file )
6868
6969 /** Gets the name of a lifecycle hook method. */
@@ -106,9 +106,7 @@ module Vue {
106106 *
107107 * These options correspond to the options one would pass to `new Vue({...})` or similar.
108108 */
109- API:: Node getDecoratorOptions ( ) {
110- result = decorator .( API:: CallNode ) .getParameter ( 0 )
111- }
109+ API:: Node getDecoratorOptions ( ) { result = decorator .( API:: CallNode ) .getParameter ( 0 ) }
112110 }
113111
114112 private string memberKindVerb ( DataFlow:: MemberKind kind ) {
@@ -174,7 +172,8 @@ module Vue {
174172
175173 /** Gets a component which is extended by this one. */
176174 Component getABaseComponent ( ) {
177- result .getComponentRef ( ) .getAUse ( ) = getOwnOptions ( ) .getMember ( [ "extends" , "mixins" ] ) .getARhs ( )
175+ result .getComponentRef ( ) .getAUse ( ) =
176+ getOwnOptions ( ) .getMember ( [ "extends" , "mixins" ] ) .getARhs ( )
178177 }
179178
180179 /**
@@ -211,17 +210,13 @@ module Vue {
211210 * Gets the node for option `name` for this component, not including
212211 * those from extended objects and mixins.
213212 */
214- DataFlow:: Node getOwnOption ( string name ) {
215- result = getOwnOptions ( ) .getMember ( name ) .getARhs ( )
216- }
213+ DataFlow:: Node getOwnOption ( string name ) { result = getOwnOptions ( ) .getMember ( name ) .getARhs ( ) }
217214
218215 /**
219216 * Gets the node for option `name` for this component, including those from
220217 * extended objects and mixins.
221218 */
222- DataFlow:: Node getOption ( string name ) {
223- result = getOptions ( ) .getMember ( name ) .getARhs ( )
224- }
219+ DataFlow:: Node getOption ( string name ) { result = getOptions ( ) .getMember ( name ) .getARhs ( ) }
225220
226221 /**
227222 * Gets a source node flowing into the option `name` of this component, including those from
@@ -331,9 +326,7 @@ module Vue {
331326 /**
332327 * Gets a reference to `this` inside the component, referring to an instance of the component.
333328 */
334- DataFlow:: SourceNode getASelfRef ( ) {
335- result = getABoundFunction ( ) .getReceiver ( )
336- }
329+ DataFlow:: SourceNode getASelfRef ( ) { result = getABoundFunction ( ) .getReceiver ( ) }
337330
338331 pragma [ noinline]
339332 private DataFlow:: PropWrite getAPropertyValueWrite ( string name ) {
@@ -439,7 +432,8 @@ module Vue {
439432 deprecated class ExtendedInstance extends Component {
440433 ExtendedInstance ( ) {
441434 // restrict charpred to match original behavior
442- this = MkComponentInstantiation ( vueLibrary ( ) .getMember ( "extend" ) .getReturn ( ) .getAnInstantiation ( ) )
435+ this =
436+ MkComponentInstantiation ( vueLibrary ( ) .getMember ( "extend" ) .getReturn ( ) .getAnInstantiation ( ) )
443437 }
444438 }
445439
@@ -486,9 +480,7 @@ module Vue {
486480 )
487481 }
488482
489- override DataFlow:: Node getARhs ( ) {
490- none ( )
491- }
483+ override DataFlow:: Node getARhs ( ) { none ( ) }
492484 }
493485
494486 /**
0 commit comments