Line data Source code
1 : import 'destination.dart'; 2 : 3 : /// Is thrown when the URI string does not match the destination. 4 : /// 5 : class DestinationNotMatchException implements Exception { 6 : /// Creates exception object. 7 : /// 8 2 : DestinationNotMatchException(this.uri, this.destination); 9 : 10 : /// Source URI string. 11 : String uri; 12 : 13 : /// A destination to match the URI. 14 : Destination destination; 15 : } 16 : 17 : /// Is thrown when the navigation scheme or the navigator does not contain the destination. 18 : /// 19 : class UnknownDestinationException implements Exception { 20 : /// Creates exception object. 21 : /// 22 3 : UnknownDestinationException([this.destination]); 23 : 24 : /// A destination that is not found in the navigation scheme. 25 : Destination? destination; 26 : } 27 : 28 : /// Is thrown when no destination found in the navigation scheme for given URI. 29 : /// 30 : class UnknownUriException implements Exception { 31 : /// Creates exception object. 32 : /// 33 2 : UnknownUriException(this.uri); 34 : 35 : /// A URI string. 36 : String uri; 37 : }