Skip to content

Commit

Permalink
Moved chat classes into chats directory
Browse files Browse the repository at this point in the history
  • Loading branch information
Yiannis128 committed Jul 13, 2024
1 parent 154b6e8 commit 72d65db
Show file tree
Hide file tree
Showing 9 changed files with 22 additions and 49 deletions.
2 changes: 1 addition & 1 deletion esbmc_ai/__main__.py
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
)

from esbmc_ai.loading_widget import LoadingWidget, create_loading_widget
from esbmc_ai.user_chat import UserChat
from esbmc_ai.chats import UserChat
from esbmc_ai.logging import print_horizontal_line, printv, printvv
from esbmc_ai.esbmc_util import esbmc
from esbmc_ai.chat_response import FinishReason, ChatResponse
Expand Down
13 changes: 13 additions & 0 deletions esbmc_ai/chats/__init__.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# Author: Yiannis Charalambous

from .base_chat_interface import BaseChatInterface
from .latest_state_solution_generator import LatestStateSolutionGenerator
from .solution_generator import SolutionGenerator
from .user_chat import UserChat

__all__ = [
"BaseChatInterface",
"LatestStateSolutionGenerator",
"SolutionGenerator",
"UserChat",
]
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@
)

from esbmc_ai.config import ChatPromptSettings
from .chat_response import ChatResponse, FinishReason
from .ai_models import AIModel
from esbmc_ai.chat_response import ChatResponse, FinishReason
from esbmc_ai.ai_models import AIModel


class BaseChatInterface(object):
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

from typing_extensions import override
from langchain_core.messages import BaseMessage
from esbmc_ai.solution_generator import SolutionGenerator
from esbmc_ai.chats.solution_generator import SolutionGenerator
from esbmc_ai.chat_response import FinishReason

# TODO Test me
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
from esbmc_ai.config import ChatPromptSettings, DynamicAIModelAgent
from esbmc_ai.frontend.solution import apply_line_patch

from .ai_models import AIModel
from esbmc_ai.ai_models import AIModel
from .base_chat_interface import BaseChatInterface
from esbmc_ai.esbmc_util import (
esbmc_get_counter_example,
Expand Down
2 changes: 1 addition & 1 deletion esbmc_ai/user_chat.py → esbmc_ai/chats/user_chat.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
from langchain.schema import BaseMessage, SystemMessage

from esbmc_ai.config import AIAgentConversation, ChatPromptSettings
from esbmc_ai.ai_models import AIModel

from .ai_models import AIModel
from .base_chat_interface import BaseChatInterface


Expand Down
7 changes: 2 additions & 5 deletions esbmc_ai/commands/fix_code_command.py
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,8 @@
from typing_extensions import override

from esbmc_ai.chat_response import FinishReason
from esbmc_ai.latest_state_solution_generator import LatestStateSolutionGenerator
from esbmc_ai.chats import LatestStateSolutionGenerator, SolutionGenerator
from esbmc_ai.chats.solution_generator import ESBMCTimedOutException
from esbmc_ai.reverse_order_solution_generator import ReverseOrderSolutionGenerator

from .chat_command import ChatCommand
Expand All @@ -16,10 +17,6 @@
esbmc_get_error_type,
esbmc_load_source_code,
)
from ..solution_generator import (
ESBMCTimedOutException,
SolutionGenerator,
)
from ..logging import print_horizontal_line, printv, printvv


Expand Down
37 changes: 0 additions & 37 deletions esbmc_ai/optimize_code.py

This file was deleted.

2 changes: 1 addition & 1 deletion esbmc_ai/reverse_order_solution_generator.py
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

from langchain.schema import BaseMessage
from typing_extensions import override, Optional
from esbmc_ai.solution_generator import SolutionGenerator
from esbmc_ai.chats.solution_generator import SolutionGenerator
from esbmc_ai.chat_response import ChatResponse

# TODO Test me
Expand Down

0 comments on commit 72d65db

Please sign in to comment.