Coverage for pyVHDLModel/PSLModel.py: 81%

1# ==================================================================================================================== # 

2# __ ___ _ ____ _ __ __ _ _ # 

3# _ __ _ \ \ / / | | | _ \| | | \/ | ___ __| | ___| | # 

4# | '_ \| | | \ \ / /| |_| | | | | | | |\/| |/ _ \ / _` |/ _ \ | # 

5# | |_) | |_| |\ V / | _ | |_| | |___| | | | (_) | (_| | __/ | # 

6# | .__/ \__, | \_/ |_| |_|____/|_____|_| |_|\___/ \__,_|\___|_| # 

7# |_| |___/ # 

8# ==================================================================================================================== # 

9# Authors: # 

10# Patrick Lehmann # 

11# # 

12# License: # 

13# ==================================================================================================================== # 

14# Copyright 2017-2024 Patrick Lehmann - Boetzingen, Germany # 

15# Copyright 2016-2017 Patrick Lehmann - Dresden, Germany # 

16# # 

17# Licensed under the Apache License, Version 2.0 (the "License"); # 

18# you may not use this file except in compliance with the License. # 

19# You may obtain a copy of the License at # 

20# # 

21# http://www.apache.org/licenses/LICENSE-2.0 # 

22# # 

23# Unless required by applicable law or agreed to in writing, software # 

24# distributed under the License is distributed on an "AS IS" BASIS, # 

25# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # 

26# See the License for the specific language governing permissions and # 

27# limitations under the License. # 

28# # 

29# SPDX-License-Identifier: Apache-2.0 # 

30# ==================================================================================================================== # 

31# 

32""" 

33This module contains an abstract document language model for PSL in VHDL. 

34""" 

35from pyTooling.Decorators import export 

36 

37from pyVHDLModel.Base import ModelEntity, NamedEntityMixin 

38from pyVHDLModel.DesignUnit import PrimaryUnit 

39 

40 

41@export 

42class PSLEntity(ModelEntity): 

43 pass 

44 

45 

46@export 

47class PSLPrimaryUnit(PrimaryUnit): 

48 pass 

49 

50 

51@export 

52class VerificationUnit(PSLPrimaryUnit): 

53 def __init__(self, identifier: str) -> None: 

54 super().__init__(identifier, parent=None) 

55 

56 

57@export 

58class VerificationProperty(PSLPrimaryUnit): 

59 def __init__(self, identifier: str) -> None: 

60 super().__init__(identifier, parent=None) 

61 

62 

63@export 

64class VerificationMode(PSLPrimaryUnit): 

65 def __init__(self, identifier: str) -> None: 

66 super().__init__(identifier, parent=None) 

67 

68 

69@export 

70class DefaultClock(PSLEntity, NamedEntityMixin): 

71 def __init__(self, identifier: str) -> None: 

72 super().__init__() 

73 NamedEntityMixin.__init__(self, identifier)