Source code for pyuppaal.pyuppaal

"""PYUPPAAL
"""
from .verifyta import Verifyta


def set_verifyta_path(verifyta_path: str):
    """Set verifyta path, and you will get tips if `verifyta_path` is invalid.
    This function will check whether `verifyta_path` is valid by following steps:
    1. run '{verifyta_path} -h' with cmd
    2. check whether '-h [ --help ]' is in the result

    Args:
        verifyta_path (str): absolute path to `verifyta`
    """
    Verifyta().set_verifyta_path(verifyta_path)


class DeveloperTools:
    """
    给开发者用的开发工具, 用于内部测试, 可以在多平台进行测试。 普通用户无法使用。
    """
    @staticmethod
    def get_verifyta_path_dev(uppaal_version: int = 5):
        import os

        curr_dir = os.path.dirname(os.path.abspath(__file__))

        if uppaal_version == 4:
            # 和github desktop的根目录相同
            uppaal_dir = os.path.join(curr_dir, '../../../uppaal64-4.1.26')
        elif uppaal_version == 5:
            # 和github desktop的根目录相同
            uppaal_dir = os.path.join(curr_dir, '../../../uppaal64-5.0.0')
        else:
            raise ValueError("uppaal_version must be 4 or 5.\n Currently tested versions are 4.1.26 and 5.0.0")

        path_dir = {
            'Windows': os.path.join(uppaal_dir, 'bin-Windows/verifyta.exe'),
            'Linux': os.path.join(uppaal_dir, 'bin-Linux/verifyta'),
            'Darwin': '/Applications/UPPAAL-5.0.0.app/Contents/Resources/uppaal/bin/verifyta'#os.path.join(uppaal_dir, 'bin-Darwin/verifyta')
        }
        return path_dir[Verifyta.get_env()]

    @staticmethod
    def set_verifyta_path_dev(uppaal_version: int = 4):
        """给开发者测试用的，用户别用这个

        Returns:
            None
        """
        path = DeveloperTools.get_verifyta_path_dev(uppaal_version)
        set_verifyta_path(path)