Factor out SourceIcon and ValueIcon

Author: StevenClontz

packages/viewer/src/components/Traits/Proof.svelte

@@ -1,7 +1,7 @@
 <script lang="ts">
   import { Link } from '../Shared'
   import { Table as Theorems } from '../Theorems'
-  import Value from './Value.svelte'
+  import ValueIcon from './ValueIcon.svelte'
   import type { Property, Space, Theorem, Trait } from '@/models'
 
   export let space: Space
@@ -28,7 +28,7 @@ Automatically deduced from the following:
             </td>
             <td>
               <Link.Trait {space} {property}>
-                <Value value={trait.value} />
+                <ValueIcon value={trait.value} />
               </Link.Trait>
             </td>
           </tr>

packages/viewer/src/components/Traits/Related.svelte

@@ -1,7 +1,7 @@
 <script lang="ts">
   import Fuse from 'fuse.js'
   import { Icons, Link } from '../Shared'
-  import { Value } from '../Traits'
+  import { ValueIcon } from '../Traits'
   import context from '@/context'
   import type { Property, Space, Trait, Traits } from '@/models'
   import FilterButtons from './FilterButtons.svelte'
@@ -93,7 +93,7 @@
       <tr>
         <td style="text-align:center">
           <Link.Trait {space} {property}>
-            <Value value={trait?.value} />
+            <ValueIcon value={trait?.value} />
           </Link.Trait>
         </td>
         <td style="text-align:center">
@@ -104,7 +104,7 @@
         </td>
         <td style="text-align:center">
           <Link.Trait {space} {property}>
-            <Value
+            <ValueIcon
               value={trait?.asserted}
               redundant={checkIfRedundant(space, property, $theorems, $traits)
                 .redundant}

…iewer/src/components/Traits/Value.svelte …/src/components/Traits/SourceIcon.sveltepackages/viewer/src/components/Traits/Value.svelte renamed to packages/viewer/src/components/Traits/SourceIcon.svelte packages/viewer/src/components/Traits/Value.svelte renamed to packages/viewer/src/components/Traits/SourceIcon.svelte

@@ -3,8 +3,7 @@
   import type { Property, Space } from '@/models'
 
   import { Link } from '../Shared'
-  import Value from './Value.svelte'
-  import Typeset from '../Shared/Typeset.svelte'
+  import ValueIcon from './ValueIcon.svelte'
   import Cell from '../Spaces/Cell.svelte'
 
   export let properties: Property[]
@@ -37,7 +36,7 @@
         {#each properties as property (property.id)}
           <td>
             <Link.Trait {space} {property}>
-              <Value value={$traits.find(space, property)?.value} />
+              <ValueIcon value={$traits.find(space, property)?.value} />
             </Link.Trait>
           </td>
         {/each}

packages/viewer/src/components/Traits/Table.svelte

@@ -0,0 +1,24 @@
+<script lang="ts">
+  export let value: boolean | undefined
+  export let icon: 'check' | 'user' = 'check'
+  export let redundant: boolean = false
+  import { Icons } from '../Shared'
+</script>
+
+{#if icon === 'user'}
+  {#if value === true}
+    <Icons.User />{#if redundant}*{/if}
+  {:else if value === false}
+    <Icons.Robot />
+  {:else}<!-- value === undefined -->
+    <Icons.Question />
+  {/if}
+{:else}<!-- icon === "check" -->
+  {#if value === true}
+    <Icons.Check />
+  {:else if value === false}
+    <Icons.X />
+  {:else}<!-- value === undefined -->
+    <Icons.Question />
+  {/if}
+{/if}

packages/viewer/src/components/Traits/ValueIcon.svelte

@@ -1,5 +1,6 @@
 export { default as Proof } from './Proof.svelte'
 export { default as Related } from './Related.svelte'
 export { default as Show } from './Show.svelte'
+export { default as SourceIcon } from './SourceIcon.svelte'
 export { default as Table } from './Table.svelte'
-export { default as Value } from './Value.svelte'
+export { default as ValueIcon } from './ValueIcon.svelte'