RegEx-Engine/Source/Examples/Debug_NFA_table.pb at main · SicroAtGit/RegEx-Engine · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

EnableExplicit

IncludePath ".."
IncludeFile "RegExEngine.pbi"

Procedure$ GetSymbolAsString(*state.RegEx::NfaStateStruc)
  If *state\stateType => RegEx::#StateType_Final
    ProcedureReturn "Final:" + Str(*state\stateType - RegEx::#StateType_Final)
  ElseIf *state\stateType = RegEx::#StateType_EpsilonMove
    ProcedureReturn "Move"
  ElseIf *state\stateType = RegEx::#StateType_SplitMove
    ProcedureReturn "Split"
  Else
    ProcedureReturn RSet(Hex(*state\byteRange\min), 2, "0") + "-" + RSet(Hex(*state\byteRange\max), 2, "0")
  EndIf
EndProcedure

Define.RegEx::RegExEngineStruc *regEx
Define nfaPoolNumber

*regEx = RegEx::Init()
If *regEx = 0
  Debug "Error"
  End
EndIf

If RegEx::AddNfa(*regEx, "a*") = #False
  Debug RegEx::GetLastErrorMessages()
  RegEx::Free(*regEx)
  End
EndIf

ForEach *regEx\nfaPools()
  nfaPoolNumber + 1
  Debug ">>>> NFA-Pool-Number: " + nfaPoolNumber
  Debug ""

  Debug Space(5) + "Initial state: " + *regEx\nfaPools()\initialNfaState
  Debug ""
  Debug Space(5) + "| State               | Symbol range | Next state 1        | Next state 2        |"
  Debug Space(5) + "| =================== | ============ | =================== | =================== |"
  ForEach *regEx\nfaPools()\nfaStates()
    Debug Space(5) + "| " + LSet(Str(@*regEx\nfaPools()\nfaStates()), 19) +
          " | " + LSet(GetSymbolAsString(*regEx\nfaPools()\nfaStates()), 12) +
          " | " + LSet(Str(*regEx\nfaPools()\nfaStates()\nextState1), 19) +
          " | " + LSet(Str(*regEx\nfaPools()\nfaStates()\nextState2), 19) + " |"
    Debug Space(5) + "| ------------------- | ------------ | ------------------- | ------------------- |"
  Next

  Debug ""
Next

RegEx::Free(*regEx)