![]() | GrShellTokenManager Class |
Namespace: de.unika.ipd.grGen.grShell
public class GrShellTokenManager : GrShellConstants
The GrShellTokenManager type exposes the following members.
Name | Description | |
---|---|---|
![]() | GrShellTokenManager(SimpleCharStream) | Initializes a new instance of the GrShellTokenManager class |
![]() | GrShellTokenManager(SimpleCharStream, Int32) | Initializes a new instance of the GrShellTokenManager class |
Name | Description | |
---|---|---|
![]() | GetNextToken | |
![]() | mccFillToken | |
![]() | ReInit(SimpleCharStream) | |
![]() | ReInit(SimpleCharStream, Int32) | |
![]() | SetDebugStream | |
![]() | SwitchTo |