style: fix semicolons

This commit is contained in:
thetek 2024-04-01 18:35:26 +02:00
parent 2f2ab1eeb0
commit ae1c3e829e
2 changed files with 9 additions and 7 deletions

View File

@ -1,6 +1,7 @@
import { AcaDefect, AcaFuelLow, AcaHeadingToBase, Message, MissileToOwnshipDetected, RequestApprovalToAttack } from "./schema";
import typia from "typia";
/* sample messages ********************************************************************************/
const SAMPLES: Array<Message> = [
@ -54,7 +55,7 @@ const SAMPLES: Array<Message> = [
data: {
acaId: 5,
fuelLevel: 0.1,
}
},
} satisfies AcaFuelLow,
// example convo 3: low priority, low threat, no collateral
@ -86,7 +87,7 @@ const SAMPLES: Array<Message> = [
data: {
acaId: 5,
reason: "fuelLow",
}
},
} satisfies AcaHeadingToBase,
// example convo 4: low priority, high threat, no collateral
@ -180,6 +181,7 @@ const SAMPLES: Array<Message> = [
} satisfies RequestApprovalToAttack,
];
/* validation *************************************************************************************/
const VALIDATORS = {

View File

@ -1,7 +1,7 @@
import { tags } from "typia";
/* messages *******************************************************************/
/* messages ***************************************************************************************/
export type Message = RequestApprovalToAttack | AcaFuelLow | MissileToOwnshipDetected | AcaDefect | AcaHeadingToBase;
@ -26,7 +26,7 @@ export type MissileToOwnshipDetected = BaseMessage<"MissileToOwnshipDetected", {
detectedByAca?: Id,
acaAttackWeapon?: Weapon,
choiceWeight: Range<-1, 1>, // specifies which choice option to prefer, -1: avoid, 1: intervene
}>
}>;
export type AcaFuelLow = BaseMessage<"AcaFuelLow", {
acaId: Id,
@ -36,15 +36,15 @@ export type AcaFuelLow = BaseMessage<"AcaFuelLow", {
export type AcaDefect = BaseMessage<"AcaDefect", {
acaId: Id,
message: string,
}>
}>;
export type AcaHeadingToBase = BaseMessage<"AcaHeadingToBase", {
acaId: Id,
reason?: "fuelLow" | "weaponsLow",
}>
}>;
/* utility types **************************************************************/
/* utility types **********************************************************************************/
export type Id = number & tags.Type<"uint64">;
export type Priority = number & tags.Type<"uint32"> & tags.Maximum<10>;