From 666280cdf600c2528a29ff9176eab54cca3e67c8 Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Fri, 5 Jan 2024 15:33:41 +0100
Subject: [PATCH] added more simple methods

---
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java | 28 ++++++++++++++++------
 1 file changed, 21 insertions(+), 7 deletions(-)

diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 5508356..7fb4ff1 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -25,12 +25,10 @@ public class NFAImpl implements NFA {
 
     @Override
     public Set<String> getStates() {
-
         return this.states;
     }
     @Override
     public Collection<Transition> getTransitions() {
-
         return this.transitions;
     }
 
@@ -48,62 +46,78 @@ public class NFAImpl implements NFA {
 
     @Override
     public void addTransition(Transition transition) throws FinalizedStateException {
-
+        if (this.isFinalized) {
+            throw new FinalizedStateException();
+        } else {
+            this.transitions.add(transition);
+        }
     }
 
     @Override
     public void addAcceptingState(String state) throws FinalizedStateException {
-
+        if (this.isFinalized) {
+            throw new FinalizedStateException();
+        } else {
+            this.acceptingStates.add(state);
+        }
     }
 
-    // #TODO later
+    // #TODO
     @Override
     public NFA union(NFA other) throws FinalizedStateException {
         return null;
     }
 
-    // #TODO later
+    // #TODO
     @Override
     public NFA intersection(NFA other) throws FinalizedStateException {
         return null;
     }
 
+    // #TODO
     @Override
     public NFA concatenation(NFA other) throws FinalizedStateException {
         return null;
     }
 
+    // #TODO
     @Override
     public NFA kleeneStar() throws FinalizedStateException {
         return null;
     }
 
+    // #TODO
     @Override
     public NFA plusOperator() throws FinalizedStateException {
         return null;
     }
 
+    // #TODO
     @Override
     public NFA complement() throws FinalizedStateException {
         return null;
     }
 
+    // #TODO
     @Override
     public boolean isFinalized() {
-
         return isFinalized;
     }
 
+    // #TODO
     @Override
     public void finalizeAutomaton() {
         this.isFinalized = true;
     }
 
+    // #TODO
     @Override
     public boolean isFinite() {
+        //check if finite
         return false;
     }
 
+    // #TODO
     @Override
     public boolean acceptsWord(String word) {
         return false;