Class: Aws::Types::AutomatedReasoningCheckFinding

Inherits:
Object
  • Object
show all
Defined in:
sig/types.rbs

Defined Under Namespace

Classes: Impossible, Invalid, NoTranslations, Satisfiable, TooComplex, TranslationAmbiguous, Unknown, Valid

Constant Summary collapse

SENSITIVE =

Returns:

  • ([])

Instance Attribute Summary collapse

Instance Attribute Details

#impossibleTypes::AutomatedReasoningCheckImpossibleFinding

Returns the value of attribute impossible.



93
94
95
# File 'sig/types.rbs', line 93

def impossible
  @impossible
end

#invalidTypes::AutomatedReasoningCheckInvalidFinding

Returns the value of attribute invalid.



91
92
93
# File 'sig/types.rbs', line 91

def invalid
  @invalid
end

#no_translationsTypes::AutomatedReasoningCheckNoTranslationsFinding

Returns the value of attribute no_translations.



96
97
98
# File 'sig/types.rbs', line 96

def no_translations
  @no_translations
end

#satisfiableTypes::AutomatedReasoningCheckSatisfiableFinding

Returns the value of attribute satisfiable.



92
93
94
# File 'sig/types.rbs', line 92

def satisfiable
  @satisfiable
end

#too_complexTypes::AutomatedReasoningCheckTooComplexFinding

Returns the value of attribute too_complex.



95
96
97
# File 'sig/types.rbs', line 95

def too_complex
  @too_complex
end

#translation_ambiguousTypes::AutomatedReasoningCheckTranslationAmbiguousFinding

Returns the value of attribute translation_ambiguous.



94
95
96
# File 'sig/types.rbs', line 94

def translation_ambiguous
  @translation_ambiguous
end

#unknownObject

Returns the value of attribute unknown.

Returns:

  • (Object)


97
98
99
# File 'sig/types.rbs', line 97

def unknown
  @unknown
end

#validTypes::AutomatedReasoningCheckValidFinding

Returns the value of attribute valid.



90
91
92
# File 'sig/types.rbs', line 90

def valid
  @valid
end