mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-05 22:08:11 +02:00
a2beae0e11
element in Delphi mode (fixes mantis #10890, but requires more thorough changes in nadd.pas for proper fixing) git-svn-id: trunk@10399 -
83 lines
1.9 KiB
ObjectPascal
83 lines
1.9 KiB
ObjectPascal
{ %fail }
|
|
|
|
program tester;
|
|
|
|
{$mode delphi}
|
|
|
|
type TXMLElemKind = (
|
|
elErrorFrm,
|
|
elInvolutiveness,
|
|
elIrreflexivity,
|
|
elIs,
|
|
elIt,
|
|
elIterEquality,
|
|
elIterStep,
|
|
elJustifiedProperty,
|
|
elJustifiedTheorem,
|
|
elLambdaVar,
|
|
elLet,
|
|
elLocusVar,
|
|
elMonomial,
|
|
elNot,
|
|
elPoweredVar,
|
|
elPred,
|
|
elPredInstance,
|
|
elPriority,
|
|
elPrivFunc,
|
|
elPrivPred,
|
|
elProjectivity,
|
|
elProof,
|
|
elTakeAsVar,
|
|
elTheorem,
|
|
elTheorems,
|
|
elThesis,
|
|
elThesisExpansions,
|
|
elTransitivity,
|
|
elTyp,
|
|
elUnexpectedProp,
|
|
elUniqueness,
|
|
elUnknownCorrCond,
|
|
elVar,
|
|
elVerum,
|
|
e34,e35,e36,e37,e38,e39,
|
|
e40, e41, e42, e43, e44, e45, e46, e47, e48, e49,
|
|
e50, e51, e52, e53, e54, e55, e56, e57, e58, e59,
|
|
e60, e61, e62, e63, e64, e65, e66, e67, e68, e69,
|
|
e70, e71, e72, e73, e74, e75, e76, e77, e78, e79,
|
|
e80, e81, e82, e83, e84, e85, e86, e87, e88, e89,
|
|
e90, e91, e92, e93, e94, e95, e96, e97, e98, e99,
|
|
e100, e101, e102, e103, e104, e105, e106, e107, e108, e109,
|
|
e110, e111, e112, e113, e114, e115, e116, e117, e118, e119,
|
|
e120, e121, e122, e123, e124, e125, e126, e127, e128, e129,
|
|
e130, e131, e132, e133, e134, e135, e136, e137, e138, e139,
|
|
e140, e141, e142, e143, e144, e145, e146, e147, e148, e149,
|
|
e150, e151, e152, e153, e154, e155, e156, e157, e158, e159,
|
|
e160, e161, e162, e163, e164, e165, e166, e167, e168, e169,
|
|
e170, e171, e172, e173, e174, e175, e176, e177, e178, e179,
|
|
e180, e181, e182, e183, e184, e185, e186, e187, e188, e189,
|
|
e190, e191, e192, e193, e194, e195, e196, e197, e198, e199,
|
|
e200, e201, e202, e203, e204, e205, e206, e207, e208, e209,
|
|
e210, e211, e212, e213, e214, e215, e216, e217, e218, e219,
|
|
e220, e221, e222, e223, e224, e225, e226, e227, e228, e229,
|
|
e230, e231, e232, e233, e234, e235, e236, e237, e238, e239,
|
|
e240, e241, e242, e243, e244, e245, e246, e247, e248, e249,
|
|
e250, e251, e252, e253, e254, e255, e256
|
|
);
|
|
|
|
const TermElKinds = [
|
|
elVar
|
|
];
|
|
|
|
const FrmElKinds = [
|
|
elErrorFrm,
|
|
elIs,
|
|
elNot,
|
|
elPred,
|
|
elPrivPred,
|
|
elVerum,
|
|
e256
|
|
];
|
|
|
|
begin
|
|
end.
|