From 8828e68cb86c865d625961c07c7ce2eb4ae191bc Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 7 Nov 2020 01:21:54 +1100 Subject: Parse_Graphs complete aside from isomorphism and testing --- src/packrat.ads | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'src/packrat.ads') diff --git a/src/packrat.ads b/src/packrat.ads index 365cce5..6032cb1 100644 --- a/src/packrat.ads +++ b/src/packrat.ads @@ -104,8 +104,9 @@ package Packrat is generic type Label_Enum is (<>); - type Element is private; - type Element_Array is array (Positive range <>) of Element; + type Element_Type is private; + type Element_Array is array (Positive range <>) of Element_Type; + with function "<" (Left, Right : in Element_Type) return Boolean is <>; package Tokens is @@ -113,6 +114,11 @@ package Packrat is type Token_Array is array (Positive range <>) of Token; + function "<" + (Left, Right : in Token) + return Boolean; + + function Create (Ident : in Label_Enum; Start : in Positive; @@ -120,7 +126,7 @@ package Packrat is return Token; - -- Note: The Start index indicate where the token was found + -- Note: The Start index indicates where the token was found -- in whatever array it was lexed from. The Value does *not* -- have to correspond with whatever is found there. -- cgit