import { Snippet } from "../builder/buildable-tree" ; import { Widget } from "../widgets" ; /**
 * https://api.flutter.dev/flutter/widgets/Navigator-class.html
 */ export class Navigator extends Widget { static of ( ) { return new Navigator ( ) ; } pushNamed ( route ) { return new Navigator ( ) . extendWithFactory ( 'of' ) . overrideArguments < Navigator > ( { __default__ : Snippet . fromStatic ( 'context' ) } ) . extendWithExtensionFunction ( "pushNamed" , { __default__ : route } ) ; } pop ( ) { return new Navigator ( ) . extendWithFactory ( 'of' ) . overrideArguments < Navigator > ( { __default__ : Snippet . fromStatic ( 'context' ) } ) . extendWithExtensionFunction ( "pop" , { } ) ; } } class NavigatorDefaults extends Snippet { }