PGPainless/pgpainless
PGPainless/pgpainless
1
0
Fork 0
mirror of https://github.com/pgpainless/pgpainless.git synced 2024-12-23 03:17:58 +01:00
Code Issues Releases Wiki Activity

Remove debugging fields

Browse source
This commit is contained in:
Paul Schaub 2022-10-26 18:24:19 +02:00
parent a0ba6828c9
commit a2a5c9223e
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
pgpainless-core/src/main/java/org/pgpainless/decryption_verification/syntax_check/PDA.java
View file

@ -16,7 +16,6 @@ import static org.pgpainless.decryption_verification.syntax_check.StackAlphabet.
public class PDA { public class PDA {
private static int ID = 0;
private static final Logger LOGGER = LoggerFactory.getLogger(PDA.class); private static final Logger LOGGER = LoggerFactory.getLogger(PDA.class);
/** /**
@ -171,13 +170,11 @@ public class PDA {
private final Stack<StackAlphabet> stack = new Stack<>(); private final Stack<StackAlphabet> stack = new Stack<>();
private State state; private State state;
private int id;
public PDA() { public PDA() {
state = State.OpenPgpMessage; state = State.OpenPgpMessage;
stack.push(terminus); stack.push(terminus);
stack.push(msg); stack.push(msg);
this.id = ID++;
} }
public void next(InputAlphabet input) throws MalformedOpenPgpMessageException { public void next(InputAlphabet input) throws MalformedOpenPgpMessageException {
@ -240,6 +237,6 @@ public class PDA {
@Override @Override
public String toString() { public String toString() {
return "PDA " + id + ": State: " + state + " Stack: " + stack; return "State: " + state + " Stack: " + stack;
} }
} }